+@Krinkle since he always has good feedback.
For the context, the github repo hosts an utility to generate the state of our repos configuration: https://www.mediawiki.org/wiki/User:Legoktm/ci
I am tempted to add the utility straight in integration/config.git under /dashboard/.
We can also add support to generate HTML and eventually publish it somewhere under https://integration.wikimedia.org/
Change 238445 abandoned by Hashar:
Import of legoktm/tools-ci
tools-ci uses python3.4 which is a mess with tox.
Per discussion with Zeljko, there is no need to have the tools-ci and jjb/zuul config changed atomically. So lets use yet another git repo.