Fix #29: `git hub pull checkout`