The documentation for the "Merge" button on a pull request suggests that it runs `git clone`, then performs the merge as configured in the project/repo settings.

For extra-large repos (especially those using a monorepo setup), it should be possible to use git sparse checkouts when performing the merge. Since the set of files modified in the pull request is known, only those need to be checked out.