This message was deleted.

looking into it for you!

(github has an outage)

Can confirm that merge failures currently are due to this outage