This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
|# 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