Update means of determining current branch

kgryte · kgryte · commit 4e87f42406e0 · 2021-08-18T02:34:12.000-07:00
diff --git a/tools/git/hooks/pre-push b/tools/git/hooks/pre-push
@@ -39,7 +39,7 @@
 remote="$1"
 
 # Determine the current branch:
-GIT_CURRENT_BRANCH=$(git name-rev --name-only HEAD)
+GIT_CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
 
 # Determine root directory:
 root=$(git rev-parse --show-toplevel)
