Nine executives have left GitHub in recent months (email req'd) (go.theinformation.com)