[MediaWiki-commits] [Gerrit] integration/config[master]: Updating regex for the email so that we do org|de and not or...
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/325137 ) Change subject: Updating regex for the email so that we do org|de and not org and de seperatly .. Updating regex for the email so that we do org|de and not org and de seperatly This was suggested by Krenair. I am trying to update the regex so it is shorter. Change-Id: I76a59293c703275e3f6590daa8ae9a8460db6e20 --- M zuul/layout.yaml 1 file changed, 2 insertions(+), 4 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 72aad54..ebf3864 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -44,8 +44,7 @@ email: - | (?x) ^(?!( -.*?@wikimedia\.org -| .*?@wikimedia\.de +.*?@wikimedia\.(org|de) | 01tonythomas@gmail\.com | aarcos\.wiki@gmail\.com | adamr_carter@btinternet\.com @@ -280,8 +279,7 @@ # - Also update the email filter of the 'check' pipeline. email: &email_whitelist - - .*?@wikimedia\.org$ - - .*?@wikimedia\.de$ + - .*?@wikimedia\.(org|de)$ # WMF staff & contractors: - ^aarcos\.wiki@gmail\.com$ -- To view, visit https://gerrit.wikimedia.org/r/325137 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I76a59293c703275e3f6590daa8ae9a8460db6e20 Gerrit-PatchSet: 2 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Paladox Gerrit-Reviewer: Hashar Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] integration/config[master]: Updating regex for the email so that we do org|de and not or...
Paladox has uploaded a new change for review. https://gerrit.wikimedia.org/r/325137 Change subject: Updating regex for the email so that we do org|de and not org and de seperatly .. Updating regex for the email so that we do org|de and not org and de seperatly This was suggested by Krenair. I am trying to update the regex so it is shorter. Change-Id: I76a59293c703275e3f6590daa8ae9a8460db6e20 --- M zuul/layout.yaml 1 file changed, 2 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/37/325137/1 diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 5354871..852b46d 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -44,8 +44,7 @@ email: - | (?x) ^(?!( -.*?@wikimedia\.org -| .*?@wikimedia\.de +.*?@wikimedia\.(org|de) | 01tonythomas@gmail\.com | aarcos\.wiki@gmail\.com | adamr_carter@btinternet\.com @@ -276,8 +275,7 @@ # - Also update the email filter of the 'check' pipeline. email: &email_whitelist - - .*?@wikimedia\.org$ - - .*?@wikimedia\.de$ + - .*?@wikimedia\.(org|de)$ # WMF staff & contractors: - ^aarcos\.wiki@gmail\.com$ -- To view, visit https://gerrit.wikimedia.org/r/325137 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I76a59293c703275e3f6590daa8ae9a8460db6e20 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Paladox ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits