unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.82k stars 272 forks source link

`pull` and `push` with no arguments should tell where it's pushing/pulling from #3560

Open pchiusano opened 2 years ago

pchiusano commented 2 years ago

If it's grabbing these destinations from config, helpful to point this out (and bonus: link to instructions on how to update config).

aryairani commented 1 year ago

Keep in mind when overhauling push and pull in next sprint