informalsystems / themis-tracer

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

Make `sync` incremental by storing last scanned git hash #52

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Followup to #17

For large repos, it will take time to process all files (since a tag could be in pretty much any source file).

But we can use the git history to optimize: