> 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 i

> 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.”