builtin-push: make it official.

diff --git a/git-fetch.sh b/git-fetch.sh
index 711650f3bc49636b43c55e14134cb9f20656f8f9..83143f82cfa3b92a38a9caa2b00860541d139aa2 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
@@ -252,10 +252,10 @@ fetch_main () {
       else
          not_for_merge=
       fi
-      if expr "z$ref" : 'z\+' >/dev/null
+      if expr "z$ref" : 'z+' >/dev/null
       then
          single_force=t
-         ref=$(expr "z$ref" : 'z\+\(.*\)')
+         ref=$(expr "z$ref" : 'z+\(.*\)')
       else
          single_force=
       fi