Luke081515 has uploaded a new change for review.
https://gerrit.wikimedia.org/r/283976
Change subject: Add php55lint to labs/tools/Luke081515IRCBot
......................................................................
Add php55lint to labs/tools/Luke081515IRCBot
Change-Id: I68983de1dd11245fbc0cb7027903bf7aeeeee34f
---
M zuul/layout.yaml
1 file changed, 6 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/76/283976/1
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index 6413c0d..365e51c 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -1502,6 +1502,12 @@
- name: php55lint
- name: jsonlint
+ - name: labs/tools/Luke081515IRCBot
+ check-voter:
+ - php55lint
+ gate-and-submit:
+ - php55lint
+
- name: labs/tools/ptable
template:
- name: tox-jessie
--
To view, visit https://gerrit.wikimedia.org/r/283976
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I68983de1dd11245fbc0cb7027903bf7aeeeee34f
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Luke081515 <luke081...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
