informalsystems / themis-tracer

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

Support automatic updating of local git repos #43

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Suppose a UA has added two local git repos their their current working context:

Suppose their current worksite is repo-b, which is up to date, while repo-a hasn't been updated from its upstream in 2 weeks. If repo-a has had relevant changes to its specs, the UA will likely want to be working with these new changes in their local context.

When they run tracer sync, it should check whether the default branch of repo-a is up date with upstream (or origin if there is no upstream) and if not, automatically (perhaps with permission) fetch the latest changes from the default upstream branch, and incorporate any logical units into the context.