Provided SSH URL is in the wrong format

We’re using GitLab at our site. My project web-page

    https://gitlab-master.MyCompany.com/Me/PROJECT1

has a pane that alternately shows the HTTPS and SSH access paths

   https://gitlab-master.myCompany.com/Me/PROJECT1.git
   ssh://git@gitlab-master.MyCompany.com:12051/Me/PROJECT1.git

The SSH path is in the wrong format, however. It took me awhile to figure out why the repository operations were asking for ID & password when I’d uploaded the SSH tokens correctly. The right format for the .git/config file is

   url = git@gitlab-master.MyCompany.com:Me/PROJECT1.git

Note that the corresponding pane on the BitBucket website

   https://bitbucket.org/Me/PROJECT2

gives the correct format for the SSH path

   git@bitbucket.org:Me/PROJECT2.git

There are some other problem-tickets related to authentication not working. The descriptions are complex enough that I can’t tell if the root-cause is related or not:

hello, prefixing with ssh:// actually avoids some problems concerning detection of the ssh port and is THE canonical URL form as found in the man page of git clone. All three of gitlab, github and bitbucket.do this wrongly. Your problem is the colon between host and group, with the canonical form there needs to be a slash instead.

regards mirko