Push tags too

dstndstn · Jun 24, 2014 · 564c0c5 · 564c0c5
1 parent 043388c
commit 564c0c5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -193,10 +193,12 @@ release:
 
 tag-release:
 	git tag -a -m "Tag version $(RELEASE_VER)" $(RELEASE_VER)
+	git push origin $(RELEASE_VER)
 
 retag-release:
 	-git tag -d $(RELEASE_VER)
 	git tag -a -m "Re-tag version $(RELEASE_VER)" $(RELEASE_VER)
+	git push origin $(RELEASE_VER)
 
 SNAPSHOT_RMDIRS := $(RELEASE_RMDIRS)