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.

Sign up for GitHub

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

Jump to bottom

Have "PR Merged" subscriptions support filtering labels, for an attached issue #741

Open
mickmister opened this issue Feb 7, 2024 · 0 comments
Open

Have "PR Merged" subscriptions support filtering labels, for an attached issue #741

mickmister opened this issue Feb 7, 2024 · 0 comments
Labels
Help Wanted Community help wanted Up For Grabs Ready for help from the community. Removed when someone volunteers

Comments

@mickmister
Copy link
Contributor

When a PR is merged, the issue it's attached to contains context for the purpose of this PR. It would be great to have a message like:

[PR x] was merged, with an [issue y] attached with [label z]

The task here is to make pulls and pulls_merged support searching through issues linked to the PR. If there is an error fetching the issue or labels, we should ignore and move on with checking other subscriptions. Note that only one post should be made for a channel that has multiple subscriptions.
@mickmister mickmister added Help Wanted Community help wanted Up For Grabs Ready for help from the community. Removed when someone volunteers labels Feb 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Help Wanted Community help wanted Up For Grabs Ready for help from the community. Removed when someone volunteers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mickmister