Il CEO di GitHub si dimetterà | TechCrunch