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