title: What happens to the history of git pull requests when a new branch with the same name of an old branch is pushed
body: <p>Szenario:</p>
  
  <ul>
  <li>branch "A" created</li>
  <li>pull request for "A" is created</li>
  <li>branch "A" is deleted</li>
  <li>new branch "A" is created</li>
  <li>Question 1: Is it possible to push the same branch name again?</li>
  <li>if yes Question 2: do the commits from new branch "A" get moved to the pull request for the old branch?</li>
  </ul>