; Fix last change

diff --git a/build-aux/git-hooks/pre-push b/build-aux/git-hooks/pre-push
index 03fbede48658e1f828ff9c06ac89aac6f838c936..8e8277cba4f84dbde1e4ca8c88133064a26ad510 100755 (executable)
--- a/build-aux/git-hooks/pre-push
+++ b/build-aux/git-hooks/pre-push
@@ -49,7 +49,7 @@ $awk -v origin_name="$1" '
   # Check any lines with a valid local SHA and whose remote ref is
   # master or an emacs-NN release branch.  (We want to avoid checking
   # feature or scratch branches here.)
-  $2 ~ /^[a-z0-9]{40}$/ && $3 ~ /^refs/heads/(master|emacs-[0-9]+)$/ {
+  $2 ~ /^[a-z0-9]{40}$/ && $3 ~ /^refs\/heads\/(master|emacs-[0-9]+)$/ {
     newref = $2
     # If the remote SHA is all zeroes, this is a new object to be
     # pushed (likely a branch)...