If you forget to create a development branch before developing, then need to patch master:
- Create a branch from the last commit
- Stash any uncommitted changes
- Reset the master branch to the last tagged release (or whenever)
git push -f [email protected]:dotherightthing/reponame.git
If you try to do (4) via SourceTree then Github will complain that "github Updates were rejected because a pushed branch tip is behind its remote"