Merge branch 'origin'

This commit is contained in:
Junio C Hamano
2006-03-01 18:42:08 -08:00

View File

@@ -36,6 +36,7 @@ test "$DOCREPO" != "" &&
cd "$DOCREPO" || exit $?
git pull "$MASTERREPO" master &&
git fetch --tags "$MASTERREPO" || exit $?
test $(git-rev-parse --verify refs/heads/master) == "$ID" &&
NID=$(git-describe --abbrev=4 "$ID") &&
test '' != "$NID" || exit $?