chiark / gitweb /
Properly detect that HEAD is detached