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 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
