diff --git a/git-request-pull.sh b/git-request-pull.sh
index ba577d4ce1b0aaf5777667410dc9cca6c999df1d..a992430679ab2c4b3c8c5eeb5a26a6fbba0976f4 100755 (executable)
--- a/git-request-pull.sh
+++ b/git-request-pull.sh
[ "$base" ] || usage
[ "$url" ] || usage
-baserev=`git-rev-parse --verify "$base"^0` &&
-headrev=`git-rev-parse --verify "$head"^0` || exit
+baserev=`git rev-parse --verify "$base"^0` &&
+headrev=`git rev-parse --verify "$head"^0` || exit
merge_base=`git merge-base $baserev $headrev` ||
die "fatal: No commits in common between $base and $head"