jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/344444 )
Change subject: Delete operations-puppet-typos ...................................................................... Delete operations-puppet-typos Has been integrated in puppet.git Rake task and the functionality is thus now covered by operations-puppet-tests-jessie job. https://gerrit.wikimedia.org/r/#/c/342604/ Bug: T119140 Change-Id: Ie6feba22eff5a91dffbe8dae78fcdb3e0cce1f4c --- M jjb/operations-puppet.yaml M zuul/layout.yaml 2 files changed, 0 insertions(+), 4 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/jjb/operations-puppet.yaml b/jjb/operations-puppet.yaml index 61c492a..15c3492 100644 --- a/jjb/operations-puppet.yaml +++ b/jjb/operations-puppet.yaml @@ -75,7 +75,6 @@ - project: name: 'operations-puppet' jobs: - - '{name}-typos' - operations-puppet-doc - project: diff --git a/zuul/layout.yaml b/zuul/layout.yaml index adf77a1..07cd781 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -2240,11 +2240,8 @@ - beta-mediawiki-config-update-eqiad - name: operations/puppet - # Same for trusted user test-prio: - # testing - operations-puppet-tests-jessie - - operations-puppet-typos - name: operations/puppet/cdh template: -- To view, visit https://gerrit.wikimedia.org/r/344444 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie6feba22eff5a91dffbe8dae78fcdb3e0cce1f4c Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits