They store the name of the branch from which you want to pull and generate diffs using git diff ^target-branch pull-head
. When you accept the pull request, they simply run git merge pull-base
.
They do not use git request-pull
. There is even a discussion where Linus Torwalds insults them for it :)