Updating pushtag script.

Perry Werneck
1 parent 748664e3
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	24	git merge origin/master
25	25
26	26	git tag -f ${1}
	27	+git push -f --tags
27	28
28	29	for repo in $(git remote -v \| grep -v origin \| grep "(push)" \| awk '{print $1}')
29	30	do
...	...