Documentation improvement for GitLab mirroring URLs
This is similar to #4264 (closed). The page for setting up mirroring and the linked documentation have no example URLs for Git-over-SSH pushing, unlike HTTPS:
The repository must be accessible over http://, https://, ssh:// or git://. When using the http:// or https:// protocols, please provide the exact URL to the repository. HTTP redirects will not be followed. Include the username in the URL if required: https://firstname.lastname@example.org/group/project.git.
This is confusing because the URLs which GitLab generates in the clone page for a repo have this form:
but the URLs which are required have this form:
The error message has no useful information which would help explain why a URL which works in a
git clone does not work here.