El CEO de GitHub dejará su cargo | TechCrunch