-
@saltnburnem +1, I always felt clumsy doing this. I use the hub CLI to do it for me now, and that is much easier --
hub pr checkout 1234
. hub.github.com/ If I were starting over I'd use the more modern GitHub CLI though, which also supports that command. cli.github.com/