Musings of a Programmer

hub wraps git to add additional commands like hub pull-request or hub browse to manage your repo on GitHub.

I recently accidentally merged a Pull Request into master instead of develop because hub pull-request made the PR against that, even though develop is the default branch on GitHub.

Turns out the default branch is determined when you clone the repo. In my case, when I originally cloned the branch was master.

To change it:

git remote set-head origin develop