title: Why is a git 'pull request' not called a 'push request'?
body: <p>The terminology used to merge a branch with an official repository is a 'pull request'. This is confusing, as it appears that I am requesting to push my changes to the official repository.</p>
  
  <p>Why is it called a pull request and not a push request?</p>