[15:28:19] Anyone online? [20:47:22] tgr|away: 1) send me a patch for hte tool-coverage repo and I'm happy to add whatever you want to do (and I can add you to the tool too) 2) read the clover files out of /data/project/coverage/{mediawiki,extensions}/ but I'd recommend that slightly less because there's a decent chance that if I ever shuffle things around, I won't remember that another tool was relying on that [22:33:01] legoktm: thanks! I ended up just copying the scraping logic as it was pretty simple ( https://gerrit.wikimedia.org/r/c/labs/tools/extjsonuploader/+/505432 ) but I do hope to go back at some point and submit a patch for the coverage tool to publish those files