diff --git a/dev/git-hooks/pre-push.sh b/dev/git-hooks/pre-push.sh
index 0cd0f15bcd48800a682bd0b900a0f279586b1d56..2a95ad3fd69fd71873f86d7e5af23e0142ca92b7 100755
--- a/dev/git-hooks/pre-push.sh
+++ b/dev/git-hooks/pre-push.sh
@@ -36,7 +36,7 @@ do
         # Handle delete
         :
     else
-        if test "$remote_oid" = "$zero"
+        if test "$remote_oid" = "$empty"
         then
             # New branch, examine all commits
             range="$local_oid"