Alejandro Sanz Díaz Alejandro Sanz Díaz - 7 months ago 87
Git Question

Why is a git 'pull request' not called a 'push request'?

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.

Why is it called a pull request and not a push request?


"Push" is you forcing the changes being present in the target repository. "Pull" is the target repository grabbing your changes to be present there.

A "pull request" is you requesting the target repository to please grab your changes.

A "push request" would be the target repository requesting you to push your changes.