From b11750adfa06f46462ca0a523a6525dba52245e7 Mon Sep 17 00:00:00 2001
From: Perry Werneck <perry.werneck@gmail.com>
Date: Mon, 25 Feb 2019 14:09:45 -0300
Subject: [PATCH] Updating pushtag scripts.

---
 pushtag.sh | 1 +
 1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/pushtag.sh b/pushtag.sh
index 138c135..11eaf15 100755
--- a/pushtag.sh
+++ b/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
--
libgit2 0.21.2