Move repo management commands under `repo` subcommand

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

Currently the UI for managing contexts and for managing repos is inconsistent.

Adding a repo is via tool add and listing repos via tool repos
Adding a context is via tool context new and listing contexts via tool context list

To make this consistent, replace add with repo add and repos with repo list.