Surely GitHub can (and should) find someone less unhinged to run the company.