# Whoops, tagged 'rumble10' early?
# No problem, just delete that tag and retag using these steps:
# (just be sure your final tag is tagged before the 48 hours are up)

# Remove the 'rumble10' tag locally, and on GitHub
git tag -d rumble10
git push origin :refs/tags/rumble10

# Create the tag and push it to GitHub
git tag -a rumble10 -m 'Tagging final release'
git push --tags