GitHub: incident with Actions

More GitHub updates

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