Andrew's git / gitweb.git / git-reset-script
?
git-reset-scripton commit Make "git checkout" verify that the argument refers to a commit (714fff2)
   1#!/bin/sh
   2. git-sh-setup-script || die "Not a git archive"
   3git-read-tree --reset HEAD
   4git-update-cache --refresh
   5rm -f "$GIT_DIR/MERGE_HEAD"