Reject git clone if url doesn't contain .git?
Customer in https://gitlab.zendesk.com/agent/tickets/7394
had an issue where they cloned a repository git@gitlab.example:name/test
and that was set as their git remote.
This caused issues in the subsequent pushes because the remote was wrong.
They say:
I think the address
without .git suffix should not be able to be cloned and should return
repository not found error or something like that. This could prevent
some cryptic error message like this one.