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

Change subject: Disable php55lint on ZppixBot repo
......................................................................

Disable php55lint on ZppixBot repo

The code in that repo is no longer in php, it’s now html. (I have commit 
access.)

Change-Id: If5b16d6d6e3122e7c7957d2ca4a4cf8825b11505
---
M zuul/layout.yaml
1 file changed, 0 insertions(+), 8 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/integration/config 
refs/changes/28/405828/2

diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index 3f56ec8..3803461 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -1800,14 +1800,6 @@
       - name: npm-docker
       - name: tox-docker
 
-  - name: labs/tools/ZppixBot
-    check:
-      - labs-tools-ZppixBot-php55lint
-    test:
-      - labs-tools-ZppixBot-php55lint
-    gate-and-submit:
-      - labs-tools-ZppixBot-php55lint
-
   - name: labs/tools/Wikimedia-Emoji-Bot
     template:
       - name: archived

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: If5b16d6d6e3122e7c7957d2ca4a4cf8825b11505
Gerrit-PatchSet: 2
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: MacFan4000 <paulfkef...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to