If you use git pull, you pull the changes from the remote repository
into yours.
If you send a pull request to another repository, you ask their
maintainers to pull your changes into theirs (you more or less ask
them to use a git pull from your repository).
