Pull requests are not merged

[Ratnesh Kadam]

Hi,

We are trying to merge the pull requests, but it shows the message "merge in progress, The merge is still in progress. The page will refresh once the merge has succeeded." 

[rmolumby]

We are also experiencing this issue.  It started today (June 29, 2021)

[Theodora Boudale]

Hi everyone,

Our engineering teams are in the process of migrating many of our core services onto new infrastructure. As part of this migration, we are aware that certain operations including those that require significant file system I/O may perform more slowly than usual.

It is helpful to realize that pull request merges are an asynchronous operation. This means that after you click “Merge” this triggers work in the background to take care of merging the changes in your pull request into the destination branch. In fact, once you see the message “Merge in progress” on the page, you can safely navigate away. When you revisit the pull request a few minutes later, it will be merged.

While merges may take longer than normal over the next few days, rest assured they are still working! We will update our status page if our monitoring systems ever detect that merges are actually failing to complete successfully.

Kind regards,
Theodora

[Paul Robinson]

Same here, getting rather tedious now and is blocking progression of our sprint