From 05bc06660c70a3f5f122933684864fd01a5bda44 Mon Sep 17 00:00:00 2001 From: Kantine Wrapper Date: Tue, 17 Feb 2026 21:04:11 +0100 Subject: [PATCH] docs: Add warning about force-pushing when moving an existing git tag. --- build-bookmarklet.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build-bookmarklet.sh b/build-bookmarklet.sh index 6701f47..02cd276 100755 --- a/build-bookmarklet.sh +++ b/build-bookmarklet.sh @@ -273,6 +273,7 @@ echo "=== Tagging $VERSION ===" if git rev-parse "$VERSION" >/dev/null 2>&1; then git tag -f "$VERSION" echo "🔄 Tag $VERSION moved to current commit." + echo " ⚠️ Force-push required: git push origin --force tag $VERSION" else git tag "$VERSION" echo "✅ Created tag: $VERSION"