@benhamill FWIW, if you rename a project in Github, it leaves a redirect behind that works with existing git remotes