GitHub: incident with GitHub.com

More GitHub updates

• Aug 18GitHub: intermittent failures in runner group and runner-related permissions pages
• Aug 13GitHub: disruption with GHEC Team Sync
• Aug 13GitHub: incident with Webhooks
• Aug 12GitHub: incident with Pull Requests and Issues
• Aug 11GitHub: incident with GraphQL API Requests