chiark / gitweb /
Fix the reset command to set HEAD to a proper id