From 0a0bfedb2e516307a2b735cbfc58d137e336667c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Sat, 25 Apr 2020 20:26:47 +0200
Subject: [PATCH] fix after_success.sh

---
 travis/after_success.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/travis/after_success.sh b/travis/after_success.sh
index 9d97ab564..5f0545985 100644
--- a/travis/after_success.sh
+++ b/travis/after_success.sh
@@ -55,9 +55,11 @@ if [ "$DO_DEPLOY" = 1 ]; then
     #-delete tag
     git config --local user.email "travis@travis-ci.org"
     git config --local user.name "Travis CI"
-    git remote add myorigin https://${GITHUB_ACCESS_TOKEN}@github.com/$TRAVIS_REPO_SLUG.git > /dev/null 2>&1
+    git remote add myorigin https://${GITHUB_ACCESS_TOKEN}@github.com/$TRAVIS_REPO_SLUG.git
+    #> /dev/null 2>&1
     git tag -d $DEPLOY_RELEASE_TO_REMOVE
-    git push --quiet myorigin :refs/tags/$DEPLOY_RELEASE_TO_REMOVE > /dev/null 2>&1        
+    git push --quiet --delete myorigin $DEPLOY_RELEASE_TO_REMOVE
+    #> /dev/null 2>&1        
   fi  
   echo "FINISHED"
 fi