Helper to get the branch name given a PR.