Stream: t-compiler/wg-prioritization

Topic: I-prioritize and I-nominated


Santiago Pastorino (Apr 08 2020 at 21:20, on Zulip):

but I'd also like to see this creating a topic on Zulip that pings the WG, so we can start very preemptively to prioritize issues

LeSeulArtichaut (Apr 08 2020 at 21:20, on Zulip):

Can’t we just add the label to the triagebot.toml, so that anyone can @rustbot modify labels to +I-prioritize?

Santiago Pastorino (Apr 08 2020 at 21:20, on Zulip):

cc @simulacrum for this last bit and also @pnkfelix

simulacrum (Apr 08 2020 at 21:21, on Zulip):

iirc it should be pretty simple to ping zulip as needed

Santiago Pastorino (Apr 08 2020 at 21:21, on Zulip):

LeSeulArtichaut said:

Can’t we just add the label to the triagebot.toml, so that anyone can @rustbot modify labels to +I-prioritize?

maybe, Niko said that this would be a nice shorthand and I agree

simulacrum (Apr 08 2020 at 21:21, on Zulip):

adding a prioritize shorthand command should also be pretty simple

Santiago Pastorino (Apr 08 2020 at 21:21, on Zulip):

@LeSeulArtichaut but also would be nice if it can create a topic

LeSeulArtichaut (Apr 08 2020 at 21:21, on Zulip):

That’s the most simple way to get this working

Santiago Pastorino (Apr 08 2020 at 21:21, on Zulip):

simulacrum said:

adding a prioritize shorthand command should also be pretty simple

I don't want just a shorthand, I want that to do the label and to create a topic if possible :)

LeSeulArtichaut (Apr 08 2020 at 21:22, on Zulip):

Oh sorry, I missed that part

simulacrum (Apr 08 2020 at 21:24, on Zulip):

okay, so long as you don't want the label command also opening a topic I'm on board, should be pretty simple

Santiago Pastorino (Apr 08 2020 at 21:24, on Zulip):

cool

simulacrum (Apr 08 2020 at 21:25, on Zulip):

ah, if you want me to do this, please file an issue on triagebot and I'll get to it eventually :)

simulacrum (Apr 08 2020 at 21:25, on Zulip):

obviously would love for someone else to take it up though!

Santiago Pastorino (Apr 08 2020 at 21:26, on Zulip):

we can open an issue yeah and at some point the wg could take care of it

Santiago Pastorino (Apr 08 2020 at 21:26, on Zulip):

but yeah, let's open an issue

Santiago Pastorino (Apr 08 2020 at 21:29, on Zulip):

done https://github.com/rust-lang/triagebot/issues/453

Last update: Jun 05 2020 at 22:15UTC