Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Based on feedback during review. * Don't use docker, just use system python * Rebuild index.html * Instruct user to commit changes after local review That's it for now. We can automatically 'git add' files once we have the ruleset generation sorted out wrt #20.
- Loading branch information