From 56842794032bfea2cabe0a38fe725b9979724fe9 Mon Sep 17 00:00:00 2001
From: Neil Alexander <neilalexander@users.noreply.github.com>
Date: Tue, 18 Dec 2018 11:47:46 +0000
Subject: [PATCH] CircleCI: don't recreate tags that already exist

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f3092ba1..907aa8b0 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -103,7 +103,7 @@ jobs:
           name: Create tags (master branch only)
           command: >
               if [ "${CIRCLE_BRANCH}" == "master" ]; then
-                git tag -f -a $(sh contrib/semver/version.sh) -m "Created by CircleCI" && git push -f --tags;
+                git tag -a $(sh contrib/semver/version.sh) -m "Created by CircleCI" && git push --tags;
               else
                 echo "Only runs for master branch (this is ${CIRCLE_BRANCH})";
               fi;