Andrew's git / gitweb.git / git-reset-script
?
git-reset-scripton commit Clean up different special *HEAD handling (6b38a40)
   1#!/bin/sh
   2git-read-tree --reset HEAD
   3git-update-cache --refresh