GitHub-ceo Nat Friedman stapt 15 november op