Hey,

This is fantastic! Thanks for setting this up.

Question: will this be done for all git repos? In particular MW extensions?

Remark: currently files that the tests do not hit are not included in the coverage report. This means the overall coverage stats are displayed much higher then they actually are. We ran into the same issue with the Wikidata coverage stats. There is some setting that allows you to include all files in some directory.

Cheers

-- Jeroen De Dauw http://www.bn2vs.com Don't panic. Don't be evil. --