Checkout alternative branch on Github

git fetch origin other_branch:other_branch
 * [new branch]      other_branch -> other_branch
git branch
* master
  other_branch
git checkout other_branch

# Or, in one swift command:

git checkout -t origin/other_branch

# which is equivalent to:

git checkout --track -b other_branch origin/other_branch

# OK, I'm going to frolic in the sun, no more computer today!