New PR: revert GitHub software and infrastructure to version of June 1st, 2018.
New PR: disable new user signups for 6 months
HR initiative: all future KPIs automatically require three-nines availability; all bonuses are forfeited, regardless of accomplishments, if annual availability falls below target
HR initiative: fire CEO and CTO
New PR: disable Github API New PR: block (ai) bots through attestation to make usage predictable
Finance initiative: Undo the Microsoft purchase
Github does not have a CEO