Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
added coverage_min argument #116
this pull request
Dec 25, 2015
I am not sure whether a per-project or per-file coverage criterion is better. If you had a specific use case in mind for a per-file minimum coverage, maybe that can be added as well.