!ops command to ping currently online +o-and-above

[jesopo]

I'd like to have a command that collects the nicknames of all the people in the current channel that have +o or above and says them in-channel to ping admins (for use in e.g. spam floods)

this should be an opt-in feature using a BoolSetting, an example of which can be seen here:
https://github.com/jesopo/bitbot/blob/51bed87b6019911b9471a2273c81dade70570945/modules/sed.py#L10-L11

you need to get a list of all users in a channel:
https://github.com/jesopo/bitbot/blob/51bed87b6019911b9471a2273c81dade70570945/src/IRCChannel.py#L20

and you need to check they have +o-or-above:
https://github.com/jesopo/bitbot/blob/51bed87b6019911b9471a2273c81dade70570945/src/IRCChannel.py#L198