Allow "clone" uri in mirror target uri
### Problem to solve It would be nice when URIs copied from "clone" could be used directly as a push target. E.g. when trying to use the uri from ![Screenshot-2019-2-7_GitLab_org_GitLab_Community_Edition](/uploads/f64a11e0cdff409d5bd7bb141cb84c75/Screenshot-2019-2-7_GitLab_org_GitLab_Community_Edition.png) gitlab rejects this with ![Screenshot-2019-2-7_Repository___phytec_ksp0566_BSP](/uploads/e0ec4f2af4a4859c8d77a3eedaa2be03/Screenshot-2019-2-7_Repository___phytec_ksp0566_BSP.png) <!--- What problem do we solve? --> and I have to rewrite it manually (prepend `ssh:` and replace second `:` with `/`) ### Proposal Rewrite such URIs automatically or accept them as-is.
issue