Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add disallowed labels to notify_zulip config #1382

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

mibac138
Copy link
Contributor

@mibac138 mibac138 commented Jun 7, 2021

Fixes #714

I believe the proposed include_labels is already added as required_labels, correct me if I'm wrong though.

@nikomatsakis
Copy link
Contributor

This looks good to me. The only question would be whether it should be "any" (i.e., disallowed it any of the labels match, versus all). But that seems to match the existing option.

@mibac138
Copy link
Contributor Author

mibac138 commented Jun 8, 2021

I'm not sure what exactly prompted issue #714 but I feel like this version should be enough for simple cases, and like you said, it matches the existing option. If need be, it can always be expanded

@Mark-Simulacrum
Copy link
Member

Once conflicts are resolved here I'd be happy to merge.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add {include|exclude}_labels options to notify-zulip
3 participants