2005-06-15 01:56:05 +00:00
|
|
|
#!/bin/sh
|
2005-07-08 17:57:21 +00:00
|
|
|
. git-sh-setup-script || die "Not a git archive"
|
2005-08-07 01:01:03 +00:00
|
|
|
rev=$(git-rev-parse --revs-only --verify --default HEAD "$@") || exit
|
|
|
|
rev=$(git-rev-parse --revs-only --verify $rev^0) || exit
|
2005-08-07 03:59:47 +00:00
|
|
|
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"
|
|
|
|
}
|
2005-06-15 01:56:05 +00:00
|
|
|
git-update-cache --refresh
|
2005-06-21 22:40:00 +00:00
|
|
|
rm -f "$GIT_DIR/MERGE_HEAD"
|