Skip to content

Role Intersection Generator #151

Open

Description

@ericthelemur

Sometimes you want to only ping people who are part of both roles only. This command should generate and assign a temporary role that is the intersection, which can be pinged in announcements.

Activity

  1. raven0034 commented on Apr 2, 2026

    @raven0034
    Member

    I'm unsure of a use case for this that doesn't cause more overhead versus pinging a few people individually worst case. Could you give more details on thoughts you had with this?

  2. ericthelemur commented on Apr 2, 2026

    @ericthelemur
    ContributorAuthor

    I think the idea came from someone else, I can't remember. I think the idea was to be able to ping e.g. academic 1st years only, instead of the whole lot. I agree it's probably not worth the effort, but was raised as an idea to target pings more precisely

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    new featureA mostly separate new command/feature

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions