Angus Ferguson wrote:Hi all,
I created a project in Eclipse with name digital_marine22 (I pushed it to Github) then I renamed it in local to digitalMarineHS.
Now I would like to rename it also in Github.
There is room for confusion there, but chances are high that the Eclipse project name/Eclipse project folder name (not neccesarily the same thing) was
digital_marine22. And that it was then published to GitHub as
digital_marine22.
Making the (possibly incorrect) assumption that the project name/project folder name was then changed in Eclipse to
digitalMarineHS and that it was designed to rename GitHub project
digital_marine22 to
digitalMarineHS.
That would actually require two operations. One would be to use the GitHub "Danger Zone" to rename the project on GitHub. But if you left it there, then future push/pull requests from Eclipse project digitalMarineHS would still be trying to work with the now-undefined GitHub digitalMarineHS.
So in addition to renaming on GitHub, you would also have to alter the "git remote" URLs for the local copy of the project to reference GitHub digitalMarineHS.
At least on GOGs, where the Git repository name is part of the URL. And I'd expect that GitHub works the same, simply because it's simpler that way.