Mergify er oppe

Long-term fix has been deployed and is working as expected. All systems are operational.

The GitHub events backlog have fully recovered