Aetherinox · October 8, 2023 10:36
diff --git a/tags_rename.sh b/tags_rename.sh
 # Create new from old
 git tag new old

 # Remove old tag
 git tag -d old

 # Sync changes from old tag to remote
 git push origin :refs/tags/old

 # Send new tag to remote
 git push --tags
	# Create new from old
	git tag new old

	# Remove old tag
	git tag -d old

	# Sync changes from old tag to remote
	git push origin :refs/tags/old

	# Send new tag to remote
	git push --tags