Updating pushtag scripts.

Perry Werneck
1 parent 01545072
Showing 1 changed file with 1 additions and 0 deletions Show diff stats
pushtag.sh
@@ -24,6 +24,7 @@ git checkout master
 git merge origin/master
 git tag -f ${1}
+git push -f --tags
 for repo in $(git remote -v | grep -v origin | grep "(push)" | awk '{print $1}')
 do
	@@ -24,6 +24,7 @@ git checkout master		@@ -24,6 +24,7 @@ git checkout master
24	git merge origin/master	24	git merge origin/master
25		25
26	git tag -f ${1}	26	git tag -f ${1}
		27	+git push -f --tags
27		28
28	for repo in $(git remote -v \| grep -v origin \| grep "(push)" \| awk '{print $1}')	29	for repo in $(git remote -v \| grep -v origin \| grep "(push)" \| awk '{print $1}')
29	do	30	do