Andrew's git / gitweb.git / git-reset-script
?
git-reset-scripton commit Clean up git-diff-tree 'header' generation (1809266)
   1#!/bin/sh
   2: ${GIT_DIR=.git}
   3git-read-tree --reset HEAD
   4git-update-cache --refresh
   5rm -f "$GIT_DIR/MERGE_HEAD"