Hashar has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/338724 )

Change subject: [mediawiki/vagrant] drop erblint-HEAD
......................................................................

[mediawiki/vagrant] drop erblint-HEAD

Done by using a rake job and the puppet-syntax gem.

Change-Id: I5b9a874502827cbddfef63fd94d6b5ce7c051a9f
Depends-On: I29de3b2b49db245a46b1acdc862701f6b872a54d
---
M zuul/layout.yaml
1 file changed, 0 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/integration/config 
refs/changes/24/338724/1

diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index b9f4d42..4fdd36f 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -2099,13 +2099,10 @@
     template:
       - name: rake
     check:
-      - erblint-HEAD
       - mediawiki-vagrant-puppet-validate
     test:
-      - erblint-HEAD
       - mediawiki-vagrant-puppet-validate
     gate-and-submit:
-      - erblint-HEAD
       - mediawiki-vagrant-puppet-validate
     postmerge:
       - mediawiki-vagrant-puppet-doc-publish

-- 
To view, visit https://gerrit.wikimedia.org/r/338724
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I5b9a874502827cbddfef63fd94d6b5ce7c051a9f
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to