Comment by jrochkind1

Odd not to use the github feature to move a repo, such that github will redirect from old urls (for web UI as well as git https).