Hacker News new | ask | show | jobs
by aasasd 1522 days ago
> the author had to _type out_ the name of the repo they wanted deleted

Where does it say that they deleted any repo?