From 564c0c5df4eb1196dfdee0b975a10485a0a2e137 Mon Sep 17 00:00:00 2001 From: Dustin Lang Date: Tue, 24 Jun 2014 14:06:55 -0400 Subject: [PATCH] Push tags too --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 7310b7c59..f348e3664 100644 --- 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)