push commit & tag

getargv · Jan 23, 2024 · 2c255b8 · 2c255b8
1 parent aac8024
commit 2c255b8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -42,7 +42,8 @@ tag:
 	git add -A
 	git commit -m 'version $(VERSION)'
 	git tag '$(VERSION)'
-	git push tag '$(VERSION)'
+	git push origin HEAD:main
+	git push origin tag '$(VERSION)'
 
 docs: doxygen.conf $(SOURCES) $(HEADERS)
 	doxygen -q doxygen.conf