Git urls

UCM commands likepushandpullcan reference git urls for Unison code which is not hosted on Unison's own code-hosting platform, Unison Share.

This can have which have one of the following forms:

• git(git@github.com:user/repo)refers to the root of a git repository
• git(git@github.com:user/repo).some.remote.pathrefers to the.some.remote.pathnamespace of the git repository
• git(git@github.com:user/repo:some-branch)pulls a git branch calledsome-branchfrom the git repository
• git(https://github.com/org/repo:someGitBranch).some.remote.pathpulls thesome.remote.pathnamespace from a branch of the repository

The UCM tab completion provides some handy shortcuts:

• ghto "git(https://github.com:" (which you can complete with org/reponame.git)
• ghsto "git(git@github.com:" (which you can complete with org/reponame.git)
• glto "git(https://gitlab.com/"
• glsto "git(git@gitlab.com:" (which you can finish with org/reponame.git)