[PATCH] git bugfixes and cleanups, mainly Debian things

diff --git a/git-request-pull-script b/git-request-pull-script
index 919081522942a1817b669422f28e045a2849d866..ae6cd272bab01ba7fa9ac7378fe33e07e853d307 100755 (executable)
--- a/git-request-pull-script
+++ b/git-request-pull-script
@@ -19,8 +19,8 @@ head=${3-HEAD}
 [ "$revision" ] || usage
 [ "$url" ] || usage
 
-baserev=`git-rev-parse --verify $revision^0` &&
-headrev=`git-rev-parse --verify $head^0` || exit
+baserev=`git-rev-parse --verify "$revision"^0` &&
+headrev=`git-rev-parse --verify "$head"^0` || exit
 
 echo "The following changes since commit $baserev:"
 git log --max-count=1 --pretty=short "$baserev" |