The scenario:
- You have a local clone of a Github-hosted repo with
master
as the default branch - Optionally, you have the
hub
command-line tool installed - Optionally, you have a Github Personal Access Token that can write to the relevant repos
- https://github.com/settings/tokens
- Only needed if you want to change the default branch from the CLI versus the Github UI