Merge branch 'cc/replace-object-info'

diff --git a/git-request-pull.sh b/git-request-pull.sh
index ebf1269d297cbc9513cb6b52726ae4590520ae92..fe21d5db631cac88a52d765e5052d4f725aad69e 100755 (executable)
--- a/git-request-pull.sh
+++ b/git-request-pull.sh
@@ -106,7 +106,7 @@ find_matching_ref='
        }
 '
 
-ref=$(git ls-remote "$url" | perl -e "$find_matching_ref" "$head" "$headrev" "$tag_name")
+ref=$(git ls-remote "$url" | @@PERL@@ -e "$find_matching_ref" "$head" "$headrev" "$tag_name")
 
 url=$(git ls-remote --get-url "$url")