jenkins-bot has submitted this change and it was merged.
Change subject: Remove flaggedrevs-specific user groups from mediawiki.org
..
Remove flaggedrevs-specific user groups from mediawiki.org
Also keeping autoreview as a
Withoutaname has uploaded a new change for review.
https://gerrit.wikimedia.org/r/134940
Change subject: Remove flaggedrevs-specific user groups from mediawiki.org
..
Remove flaggedrevs-specific user groups from mediawiki.org
Withoutaname has uploaded a new change for review.
https://gerrit.wikimedia.org/r/134969
Change subject: Remove flaggedrevs-specific user groups from mediawiki.org
..
Remove flaggedrevs-specific user groups from mediawiki.org