When merging a pull request, if that merge takes longer than the default timeout in the UI (1 minute) then the UI will indeed timeout the request before the server request finishes the merge. We allow up to 5 minutes for a merge to finish, so the UI should wait for the server request to finish.
- Attempt to merge a pull request that is sufficiently large that the merge will take longer than 60 seconds
The UI will wait until the server request finishes.
The UI times out (Note that the merge will still continue in the background)
No workaround necessary.