Wiki.Melancholie wrote:

Note that this, of course, would be intended to whitelist/allow global bots in specific cases, not to block them ;-) ;-)

aokomoriuta wrote:

This is not for only global bot but for all global group (e.g. global sysop, steward, etc) so I changed the title(summary).

I guess it's a little hard to get what global groups the user has because global groups isn't managed by the MediaWiki core but by a MediaWiki extension ([[mw:Extension:CentralAuth]]?).
But we (I mean we are jawiki's users at least) are very anxious for this.

vigorous_action wrote:

The thing corresponding to GlobalGroupPermissions and globalgroupmembership is hoped for.

If we can write,

("bot" in user_groups or "globalbot" in global_user_group)

it would be helpful.

Gerrit change 38895, relies on Gerrit change 38894 in AbuseFilter

Change has been merged.