bad error when share repo is put in `GitUrl` section
aryairani opened this issue · comments
Arya Irani commented
.suffixtree> push
fatal: repository 'anovstrup.public.suffixtree' does not exist
I couldn't clone the repository at anovstrup.public.suffixtree ; the error was:
callProcess: git "clone" "--bare" "--depth" "1" "anovstrup.public.suffixtree" "/Users/anovstrup/.cache/unisonlanguage/gitfiles/anovstrup$dot$public$dot$suffixtree-bare" "--quiet" (exit 128): failed
.suffixtree> push anovstrup.public.suffixtree
Uploaded 72 entities.
View it on Unison Share: https://share.unison-lang.org/@anovstrup/code/latest/namespaces/public/suffixtree
Maybe something like:
I wasn’t able to push to the git repository
anovstrup.public.suffixtree
(which I found in your.unisonConfig
underGitUrl.suffixTree
) becausegit
can't find it.Note: The
GitUrl
section is deprecated, but still supports your existing configuration from UCM M3 and earlier. The new config key is calledRemoteMapping
, and git repositories specified there must be wrapped ingit(..)
just like at the UCM prompt.
Thanks @anovstrup for reporting.