1 out of 5 times we merge a pull request we get the message below and have to refresh the page to be able to see the result of the merge.

Despite of the error message, after we refresh the page we see that the pull request is merged as expected and everything is OK, so it is just like the HTTP request is timing out/giving up before the merge completes.