UCM commands like push and pull can 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 repositorygit(git@github.com:user/repo).some.remote.path refers to the .some.remote.path namespace of the git repositorygit(git@github.com:user/repo:some-branch) pulls a git branch called some-branch from the git repositorygit(https://github.com/org/repo:someGitBranch).some.remote.path pulls the some.remote.path namespace from a branch of the repositoryThe UCM tab completion provides some handy shortcuts:
gh to "git(https://github.com:" (which you can complete with org/reponame.git)ghs to "git(git@github.com:" (which you can complete with org/reponame.git)gl to "git(https://gitlab.com/"gls to "git(git@gitlab.com:" (which you can finish with org/reponame.git)