Commit c436ed26e08fde69579d5d0ac31e775cfbd06290

nulltoken 2012-10-20T12:09:02

reset: make git_reset() cope with an orphaned HEAD