Dpatrick has submitted this change and it was merged.

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(-)

Approvals:
  Dpatrick: Looks good to me, approved
  jenkins-bot: Verified



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: merged
Gerrit-Change-Id: I63cd4f89dd9c754e917ff75c22692f08f35ef377
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: Dduvall <dduv...@wikimedia.org>
Gerrit-Reviewer: Dpatrick <dpatr...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to