jenkins-bot has submitted this change and it was merged. Change subject: Whitelist user Robert Vogel ......................................................................
Whitelist user Robert Vogel He is a long term user See https://gerrit.wikimedia.org/r/#/q/owner:vogel%2540hallowelt.biz+status:merged,n,z He is also part of this group https://gerrit.wikimedia.org/r/#/admin/groups/497,members Plus he frequently uploads patches See https://gerrit.wikimedia.org/r/#/q/owner:vogel%2540hallowelt.biz+status:open,n,z Also it would be useful for him or her for reasons it can prevent the extension from failing. It can also help fix the failing unit tests in check experimental so we can switch the repo to unit tests. Change-Id: I1eea7b3c7ec4a3601bbc257bee54a2a481d38ed4 --- M zuul/layout.yaml 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: JanZerebecki: Looks good to me, approved jenkins-bot: Verified diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 10ef191..379075c 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -159,6 +159,7 @@ | rillke@wikipedia\.de | roan\.kattouw@gmail\.com | robinp\.1273@gmail\.com + | vogel@hallowelt\.biz | russblau@imapmail\.org | s7eph4n@gmail\.org | santhosh\.thottingal@gmail\.com @@ -382,6 +383,7 @@ - ^raimond\.spekking@gmail\.com$ - ^rillke@wikipedia\.de$ - ^robinp\.1273@gmail\.com$ + - ^vogel@hallowelt\.biz$ # Robert Vogel - ^saper@saper\.info$ - ^se4598@gmx\.de$ - ^skizzerz@skizzerz\.net$ -- To view, visit https://gerrit.wikimedia.org/r/278185 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1eea7b3c7ec4a3601bbc257bee54a2a481d38ed4 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Paladox <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: JanZerebecki <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: Robert Vogel <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
