Andrew's git / gitweb.git / git-reset-script
?
git-reset-scripton commit [PATCH] ssh-push.c: Fix handling of ssh://host/path URLs (44ab20c)
   1#!/bin/sh
   2git-read-tree --reset HEAD
   3git-update-cache --refresh