Andrew's git / gitweb.git / git-reset-script
?
git-reset-scripton commit git-rev-list: make sure the output is sorted by recency (7a662e8)
   1#!/bin/sh
   2: ${GIT_DIR=.git}
   3git-read-tree --reset HEAD
   4git-update-cache --refresh
   5rm -f "$GIT_DIR/MERGE_HEAD"