That's just merging, and a "pull" does not refer to simply merging. A pull request is about pulling: fetching commits from a remote repository and then merging them. The key is the remote repository.
↧