Making repository path configurable #1
Description
Currently, there are several places in these scripts where github.com/unisonweb/ui-core is hard-coded, and we need to manually replace them when building unison-local-ui with a forked ui-core (e.g. yoching/ui-core), when trying to check the behavior before a PR is merged.
It seems better to make the ui-core repository path configurable.
Do you have any ideas on how to make it configurable?