Add commands for managing repos

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Closes #15

This adds two subcommands:

See individual commits and the documentation-tests for details.