Fixed wrong condition on current branch for doc building

JPenuchot · Dec 5, 2022 · 49e30c4 · 49e30c4
1 parent 65df679
commit 49e30c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hooks/pre-push b/hooks/pre-push
@@ -14,7 +14,7 @@ branch=$(git rev-parse --abbrev-ref HEAD)
 
 echo Current branch: $branch
 
-if [[ "$branch" -ne "main" ]]; then
+if [[ "$branch" != "main" ]]; then
 	echo "Branch is not main, exiting."
 	exit 0
 fi