1 files changed, 0 insertions, 13 deletions
diff --git a/git-reset-script b/git-reset-script
deleted file mode 100755
index 49994df7a2..0000000000
--- a/git-reset-script
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-. git-sh-setup-script || die "Not a git archive"
-rev=$(git-rev-parse --revs-only --verify --default HEAD "$@") || exit
-rev=$(git-rev-parse --revs-only --verify $rev^0) || exit
-git-read-tree --reset "$rev" && {
-	if orig=$(git-rev-parse --verify HEAD 2>/dev/null)
-	then
-		echo "$orig" >"$GIT_DIR/ORIG_HEAD"
-	fi
-	echo "$rev" > "$GIT_DIR/HEAD"
-}
-git-update-cache --refresh
-rm -f "$GIT_DIR/MERGE_HEAD"