Add `remove` subcommands for context and repos

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

We'll need a way of removing contexts and repos.

Followup to #41 and #15