Push config instructions incorrect

[francisdb]

.> push

  ❗️

  I don't know where to push to! Add a line like `GitUrl. = <some-git-url>' to .unisonConfig. Type
  `help push ` for more information.

(small nit, space after push)

.unisonConfig

GitUrl. = <some-git-url>

Result

➜  unisonlearninglabs ucm
ucm: ParseError "/Users/me/.unisonConfig" "endOfInput"

the correct format seems to be

GitUrl = "<some-git-url>"

(no dot and with quotes)

Maybe it could also indicate that .unisonConfig is in your home directory but I guess that's to be expected

[pchiusano]

Good catch!

[aryairani]

@mitchellwrosen We don't consult Config on push anymore, do we?

[mitchellwrosen]

@aryairani we still do consult config for loose code remote mappings

[aryairani]

@mitchellwrosen Ah ok, thanks. So then closed with #5041, right @ChrisPenner?

[ChrisPenner]

Correct