Load units into database when a repo is added to a context

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Load units into database when a repo is added to a context #58

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Closes #9

This is roughed in, and I'll need additional iterations to improve the UI, and protect against error conditions, but this adds the functionality to load all specs from .md files in an added repo in to the working context.