Addshore proposed to add a new repository with https://gerrit.wikimedia.org/r/#/c/115947/

Conf is:

'integration/php-coveralls' => {
    'grain' => 'contint-production-slaves',
    'upstream' => 'https://gerrit.wikimedia.org/r/integration/php-coveralls',
},

Andrew Otto merged it and ran puppet on tin.eqiad.wmnet but the repository did not get cloned :-/

Version: wmf-deployment
Severity: normal