search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Support adding remote-only repos to context #51

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Followup to #15

Support adding repos via remote paths only.

tracer add https://github.com/user/repo-name should checkout the repo-name into a local cache, and register the repo into the current context. This is functionality built on top of #15 but presupposes a local registry in which such resources can be saved.