jenkins-bot has submitted this change and it was merged.
Change subject: Make erblint and puppetlint-lenient voting for mediawiki-vagrant
......................................................................
Make erblint and puppetlint-lenient voting for mediawiki-vagrant
We finally got puppetlint-lenient to pass and I'd like to keep it that
way. This will help folks find and fix formatting complaints without
requiring a reviewer to remember to run the lint test that we ship with
the repo themselves.
Change-Id: I664721763fcc20e7390fc22e53447feced381886
---
M layout.yaml
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/layout.yaml b/layout.yaml
index d456ec7..f7e5d4e 100644
--- a/layout.yaml
+++ b/layout.yaml
@@ -1496,10 +1496,6 @@
- name: translatewiki-puppetlint-strict
voting: false
- - name: mediawiki-vagrant-erblint-HEAD
- voting: false
- - name: mediawiki-vagrant-puppetlint-lenient
- voting: false
- name: mediawiki-vagrant-puppetlint-strict
voting: false
--
To view, visit https://gerrit.wikimedia.org/r/155286
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I664721763fcc20e7390fc22e53447feced381886
Gerrit-PatchSet: 2
Gerrit-Project: integration/zuul-config
Gerrit-Branch: master
Gerrit-Owner: BryanDavis <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: Dduvall <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
