Because I mess it up every time, here’s how to move a Github pull request from one branch to another.