push

2025-12-15 02:34:13 +00:00 · 2018-05-10 00:20:04 -07:00
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -73,6 +73,7 @@ patch-release: patch release

 patch: clean gitsem
 	gitsem patch
+	git push origin --tags

 release-deps: gitsem gh-release