We are having a problems with our Pull Requests merging and then failing with no errors for me to look into...at least none that I have seen
This pull request is being merged in the background. You can safely navigate away. The status of the pull request will be updated once it is merged.