Last modified: 2013-12-30 03:19:06 UTC
No group should be able to add and remove other users from the gwtoolset user group by default; let this be set locally (ie. in LocalSettings.php) just like with the Translate extension.
Change 102343 had a related patch set uploaded by Odder: Remove some of the permissions so they can be configured per-wiki https://gerrit.wikimedia.org/r/102343
Change 102347 had a related patch set uploaded by Brian Wolff: Have gwtoolset assignable by crats https://gerrit.wikimedia.org/r/102347
Change 102343 merged by jenkins-bot: Remove some of the permissions so they can be configured per-wiki https://gerrit.wikimedia.org/r/102343
Change 102347 merged by jenkins-bot: Have sysops add and remove users from the 'gwtoolset' group https://gerrit.wikimedia.org/r/102347
Merged by Dan, and now deployed by Reedy to the Wikimedia production cluster.