Rolling Back a Release

• Via the UI, delete the tag on Github
• Locally, checkout the previous tag that we are rolling back to (e.g. git checkout v2.9.0)
• Delete your local master branch (git branch -D master)
• Create a new local master branch at the previous tag commit (git branch -b master)
• Run git push github master --force