When you create (aka clone) a GitLab project with the GitTool (paste in a gitlab ssh url) the resulting project has a 'git@gitlab.com/' prefix - which doesn't occur for the same steps when pasting an ssh Github tool. This is GT 877.
in this picture compare the contents of the iceberg directory - for a gitlab vs github project both created (aka cloned) via the git tool.
Native pharo doesn't do this so this seems something GT specific.
When you create (aka clone) a GitLab project with the GitTool (paste in a gitlab ssh url) the resulting project has a 'git@gitlab.com/' prefix - which doesn't occur for the same steps when pasting an ssh Github tool. This is GT 877.
in this picture compare the contents of the iceberg directory - for a gitlab vs github project both created (aka cloned) via the git tool.
Native pharo doesn't do this so this seems something GT specific.