From e41ac5fba5a491266140861a69ba0d2a890ac8e4 Mon Sep 17 00:00:00 2001 From: Perry Werneck Date: Mon, 2 Nov 2020 15:19:08 -0300 Subject: [PATCH] Fixing pushtag script. --- pushtag.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pushtag.sh b/pushtag.sh index 11eaf15..e0c06bd 100755 --- a/pushtag.sh +++ b/pushtag.sh @@ -20,8 +20,8 @@ fi git push git fetch origin -git checkout master -git merge origin/master +#git checkout master +#git merge origin/master git tag -f ${1} git push -f --tags -- libgit2 0.21.2