One assume, since this was days in the making, that the GitHub security team had operations spool up extra auth tier capacity before booting all sessions.