[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Set $wgOAuthGroupsToNotify for OAuth role

[Code Review]

Gergő Tisza has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/303114

Change subject: Set $wgOAuthGroupsToNotify for OAuth role
......................................................................

Set $wgOAuthGroupsToNotify for OAuth role

Change-Id: I63cd4f89dd9c754e917ff75c22692f08f35ef377
Depends-On: Iee6e0074d648236b01ae40da704a27cfb94d4748
---
M puppet/modules/role/manifests/oauth.pp
1 file changed, 1 insertion(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant 
refs/changes/14/303114/1

diff --git a/puppet/modules/role/manifests/oauth.pp 
b/puppet/modules/role/manifests/oauth.pp
index 434662f..1aae5d3 100644
--- a/puppet/modules/role/manifests/oauth.pp
+++ b/puppet/modules/role/manifests/oauth.pp
@@ -21,6 +21,7 @@
             '$wgGroupPermissions["sysop"]["mwoauthmanageconsumer"] = true',
             '$wgGroupPermissions["user"]["mwoauthproposeconsumer"] = true',
             '$wgGroupPermissions["user"]["mwoauthupdateownconsumer"] = true',
+            '$wgOAuthGroupsToNotify = [ "sysop" ]',
         ]
     }
 

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I63cd4f89dd9c754e917ff75c22692f08f35ef377
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>

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