rafael-neri · May 26, 2020 13:28 · josegus · Apr 16, 2021 · helloint · Jun 7, 2024
diff --git a/script.sh b/script.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