Hacker News new | ask | show | jobs
by pwdisswordfishy 239 days ago
GitHub could not name it so, because it's not up to GitHub to choose.
1 comments

There are places where it does choose, but arguably it makes sense for it to be consistent with what you get when using "git clone".