From 8efeda8afa14b9184b4fcaee4682c71137bfb180 Mon Sep 17 00:00:00 2001 From: Alexander Demidov Date: Mon, 13 Jan 2014 17:29:25 +0400 Subject: [PATCH] =?UTF-8?q?=D0=9F=D1=80=D0=B0=D0=B2=D0=BA=D0=B8=20push-upd?= =?UTF-8?q?ate=20=20-=20=D1=83=D0=B4=D0=B0=D0=BB=D0=B5=D0=BD=D0=B8=D0=B5?= =?UTF-8?q?=20=D1=82=D0=B5=D0=B3=D0=B0=20=D0=BF=D0=B5=D1=80=D0=B5=D0=B4=20?= =?UTF-8?q?=D0=B5=D0=B3=D0=BE=20=D0=BF=D0=BE=D0=B2=D1=82=D0=BE=D1=80=D0=BD?= =?UTF-8?q?=D1=8B=D0=BC=20=D1=81=D0=BE=D0=B7=D0=B4=D0=B0=D0=BD=D0=B8=D0=B5?= =?UTF-8?q?=D0=BC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- push-update.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/push-update.sh b/push-update.sh index ba5468b..9bfa052 100755 --- a/push-update.sh +++ b/push-update.sh @@ -28,6 +28,7 @@ then gitchangelog > CHANGELOG.md && { git add CHANGELOG.md > /dev/null && git commit -m "Update CHANGELOG.md" > /dev/null && + git tag -d "$VERSION" && git tag "$VERSION" && git push --tags >/dev/null 2>/dev/null; } || { echo -e "Cannot push released tag into remote repository\n" &&