fix make push

akarve · Jun 4, 2024 · d870e52 · d870e52
1 parent 6d249b2
commit d870e52
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -37,6 +37,7 @@ publish: build git-no-unsaved git-on-main
 	python3 -m twine upload dist/*
 
 push: lint check test git-off-main git-no-unsaved
+	@branch=$$(git symbolic-ref --short HEAD); \
 	git push origin $$branch
 
 test: readme-cmds