[chmaynard]

If you frequently need to switch between several git branches, pushb and popb are useful commands.

https://github.com/pwoolcoc/pushb