Ja, das Löschen steht drin, sowie auch im Artikel.
aber nur den Name löschen hilft nichts, wenn auch viele IPs drin stehen.
z.B. Tortoise und Andere lösen (teilweise) selber den Namen auf und greifen dann via
IP zu, womit dann auch die
IP drin seht (Turtoise macht Einiges selber und Anderes über die git.exe),
und Github hat viele IPs. Vermutlich haben die ein Load-Balancing, um die vielen Zugriffe auf mehrere Server zu verteilen. Oder sie schieben die Daten einzelner Nutzer zwischen ihren Servern herum.
Problem war dann auch, dass eben auch einige automatischen Systeme das nutzen und leider war bei mindestens Einem keine Prüfung drin, nach dem Clon/Checkout.