Andrew's git / gitweb.git / diff
?
Merge branch 'ds/coverage-diff'
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:10 +0000 (14:22 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:10 +0000 (14:22 +0900)
The result of coverage test can be combined with "git blame" to
check the test coverage of code introduced recently with a new
'coverage-diff' tool (in contrib/).

* ds/coverage-diff:
contrib: add coverage-diff script

Trivial merge