GitHub CEO stapt op | TechCrunch