Seems unlikely that an organization of GitHub's size would overhaul the entire management structure to deal with problems brought about by a single employee (or

Seems unlikely that an organization of GitHub's size would overhaul the entire management structure to deal with problems brought about by a single employee (or even a few).