This message was deleted.

Another one

cc @Jacob Gold

Hi, I'm sorry you are running into this. It looks like we had a change today that is causing some sporadic merge failures. I'm reverting the offending changes now.

Thank you!

The revert has been deployed, please let me know if you continue to see issues.

I’m seeing these a lot today, but they’re not actually blocking merging, so they’re just weird and annoying.

That is strange, we will investigate.