Merge branch 'ml/submodule'

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
@@ -18,8 +18,8 @@ head=${3-HEAD}
 [ "$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"