Attempting to clone a non-existent repository
While attempting to clone the Dash Handbook repository, I discovered unexpected behaviour.
$ git clone https://gitlab.eclipse.org/eclipse/dash/org.eclipse.dash.handbook
Cloning into 'org.eclipse.dash.handbook'...
Username for 'https://gitlab.eclipse.org':
$ _
The repository is listed in the PMI as https://gitlab.eclipse.org/eclipse/dash/org.eclipse.dash.handbook
, but GitLab shows it as https://gitlab.eclipse.org/eclipse/dash/org-eclipse-dash-handbook.git
(that is, dashes instead of dots; I'm pretty sure that this has already been acknowledged as an error that needs to be addressed; this error is not what I'm concerned about in this issue, see #21 (closed)).
Note that attempting to clone https://gitlab.eclipse.org/eclipse/dash/org-eclipse-dash-handbook
works fine (that is, I'm pretty sure that it's not a key problem).
It appears that authentication is required for any attempt to clone a repository that doesn't exist. My expectation is that this should just fail without prompt.