From c05407a3983eea20b87db2f4b3e53ced3d9dcb85 Mon Sep 17 00:00:00 2001
From: jeffgrunewald <jeff@grunewalddesign.com>
Date: Sun, 6 Mar 2022 00:27:58 -0500
Subject: [PATCH] allow force-updating miner git tags

---
 tag-release.sh | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/tag-release.sh b/tag-release.sh
index fa57f8779..7418b8d58 100755
--- a/tag-release.sh
+++ b/tag-release.sh
@@ -3,7 +3,7 @@
 set -e
 
 usage() {
-    echo "Usage: $0 [-h] [-n <NAMED_TAG>] <SHA>"
+    echo "Usage: $0 [-h] [-f] [-n <NAMED_TAG>] <SHA>"
 }
 
 dep_hash() {
@@ -19,8 +19,11 @@ declare NAMED_TAG
 TAG_NAME=$(date +%Y.%m.%d)
 TAG_NUMBER=0
 
-while getopts ":hn:" opt; do
+while getopts ":hfn:" opt; do
     case ${opt} in
+        f )
+            FORCE="--force"
+            ;;
         h )
             usage
             exit 0
@@ -90,8 +93,8 @@ cd ..
 echo -e "done\n"
 
 echo -e "publishing ${RELEASE_TAG} tag\n"
-git tag -a ${RELEASE_TAG} ${MINER_HASH} -m "${RELEASE_TAG} release"
-git push origin "${RELEASE_TAG}"
+git tag ${FORCE} -a ${RELEASE_TAG} ${MINER_HASH} -m "${RELEASE_TAG} release"
+git push ${FORCE} origin "${RELEASE_TAG}"
 
 for repo in $repos; do
     REPO_HASH=$(dep_hash $MINER_HASH $repo)