From b1264a6f8be2934d3805dcd0b39ea477ee3ac4ce Mon Sep 17 00:00:00 2001
From: Nick Sweeting <github@sweeting.me>
Date: Sat, 5 Oct 2024 03:20:56 -0700
Subject: [PATCH] force push tags

---
 bin/release_git.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/release_git.sh b/bin/release_git.sh
index 2b07ac91..05af4384 100755
--- a/bin/release_git.sh
+++ b/bin/release_git.sh
@@ -18,6 +18,6 @@ cd "$REPO_DIR"
 # Push build to github
 echo "[^] Pushing release commit + tag to Github"
 git tag -a "v$VERSION" -m "v$VERSION"
-git push origin --tags
+git push origin -f --tags
 echo "    To finish publishing the release go here:"
 echo "        https://github.com/ArchiveBox/ArchiveBox/releases/new"