@WG-prioritization/alerts issue #80375 has been requested for prioritization.
I-nominated
?This issue was closed. Shall we change triagebot to note when issues are closed?
Issue #80375's prioritization request has been removed.
Ryan Levick said:
This issue was closed. Shall we change triagebot to note when issues are closed?
Sounds like a good idea. I can try implementing it.
(Or you can if you would like to try!)
Didn't we try this in the past? Or at least discuss it?
Sounds familiar to me, I don't know why :D
Well I just implemented it so we'll see if it works :laughing:
PR: triagebot#1078
@Camelid config.message_on_close
sends a notification to Zulip on every issue closed or only for those published here?
For those which currently have I-prioritize
What Léo Lanteri Thauvin said :)
Doing that for every published one is harder, I think you'd need to maintain a database of issues etc
Yeah, it will only happen for issues that currently have I-prioritize.
Here we just rely on GitHub :)
Well triagebot does have a DB, it just doesn't use it here :)
We could do that in the future I guess
Yeah, but I'm not sure if that would even be helpful.
We would have already gotten the "request removed" message.
ok thanks!
We could use that hook for P-critical
issues maybe?
Mhh, not really useful actually
Maybe for reopened issues or something