chiark / gitweb /
Let some commands work with detached HEAD