build(release): push new tag to origin after creating a release

2026-04-05 11:15:53 +02:00
1 parent 28f7dc199e
commit a1bf5ceb38
@@ -61,6 +61,7 @@ release-version:
 		exit 1; \
 	fi; \
 	git tag -a "$$next_tag" -m "Release $$next_tag"; \
+	git push origin "$$next_tag"; \
 	echo "$$next_tag"

 migrate: