This incident has been resolved. All the GitHub commits, except those that may have been deleted by their authors, have been recovered. Incident's impact has been lowered to "Major".
Jun 15, 11:15 CEST
We are currently trying to recover missed GitHub events and backfill the Public Monitoring.
Jun 15, 11:14 CEST
GitHub Public Monitoring is fully operational again. There was a lack of commit coverage between 7:28 and 7:37 UTC. We are analysing the issue and working on a fix.
Jun 15, 10:03 CEST
The issue has been identified and a fix provided at 7:39 UTC
Jun 15, 09:45 CEST
We received an alarm on GitHub's commit coverage at 7:28 UTC. We are currently investigating
Jun 15, 09:30 CEST