Who can explain the name "pull request' in git? [duplicate]

Question

Who can explain the name "pull request' in git?

Because it is a workflow method for submitting contributions.

My question is just about the name 'pull'.
I understand the 'request' part.
What or which pulling do they mean?
Why is push request, submit request not better?
Note that I belong to the class of non-native "english" speakers.

Answer 1

You need to refer to the documentation

Pull requests let you tell others about changes you've pushed to a repository on GitHub. Once a pull request is opened, you can discuss and review the potential changes with collaborators and add follow-up commits before the changes are merged into the repository.

Since its the request made to the target to pull your artifacts it's called a pull request