release: version 0.12.6

2024-01-26 14:13:58 +01:00
parent 12e7df8694
commit fd72665b4d
2 changed files with 3 additions and 2 deletions
--- a/1
+++ b/1
@@ -68,5 +68,6 @@ release: # Create a new tag for release.
 	git commit -m "release: version $${TAG}" && \
 	echo "creating git tag : v$${TAG}" && \
 	git tag v$${TAG} && \
+	git push && \
 	git push -u origin HEAD --tags && \
 	echo "Github Actions will detect the new tag and release the new version."'