El CEO de GitHub dejará su puesto | TechCrunch