CEO do GitHub vai deixar o cargo | TechCrunch