News for hackers. Stuff that matters.
Re:We lost 54k GitHub stars by jagged-chisel on Friday April 15, 2022 @06:43AM (#31038623)
> the author had to _type out_ the name of the repo

I copy/paste the repo name every time I delete a repo on GitHub. Yeah, it’s still a minor impediment, but it’s definitely not “TYPE the account and repo name.”

There are no comments on this comment yet.