bad error when share repo is put in `GitUrl` section

[aryairani]

.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 under GitUrl.suffixTree) because git 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 called RemoteMapping, and git repositories specified there must be wrapped in git(..) just like at the UCM prompt.

Thanks @anovstrup for reporting.