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.