title: Git: Getting a Branch Name from a PR
body: <p>I went ahead and followed <a href="https://davidwalsh.name/pull-down-pr" rel="nofollow noreferrer">this guide</a> to allow me to checkout branches by their PR number rather than the branch name.</p>
  
  <p>However, I am wondering if the reverse is possible, allowing me to get the branch name given a PR number from the command line. Is it doable?</p>