No, you don't have to type it, and I doubt anyone types it. You copy that line and paste it. Often it's done on autopilot, especially when in a rush.
In famous words of Mr. Larry wall, 3 great virtues of every programmer: laziness, impatience, and hubris.
It’s typically short short, and it’s a very destructive action. It’s also very apparent to me why I would want to type it out.
That said, someone is going to make a mistake at some point. I’d expect better from github support here.
A lot of us navigate by typing, be it CLI, in our IDE, URLs etc. And we must have got used to type hundreds of times our company or project names every day, in many places.
I can't imagine typing <project name>/<project name> in a input box triggering in us a lot consciousness or extra care. Typing something more unusual could actually be more impacting I think.