Stream: t-compiler/wg-prioritization

Topic: #70934 ICE: No `move_errors` in borrowck


Santiago Pastorino (Apr 09 2020 at 13:20, on Zulip):

it definitely needs an mcve

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

but from what I see, I'm tempted to go with P-high meanwhile we have more information

centril (Apr 09 2020 at 13:21, on Zulip):

sgtm

Santiago Pastorino (Apr 09 2020 at 13:27, on Zulip):

done

pnkfelix (Apr 09 2020 at 13:28, on Zulip):

As you all may have noticed, I took the opportunity to add a title to the topic

pnkfelix (Apr 09 2020 at 13:28, on Zulip):

I don't know whether people prefer the issue number to come before or after the topic text

Santiago Pastorino (Apr 09 2020 at 13:29, on Zulip):

so ... in our case I'm not sure about that or if we just want something like Prioritize: #number

Santiago Pastorino (Apr 09 2020 at 13:29, on Zulip):

I meant, I want to make it clear that it's a call for prioritization

Santiago Pastorino (Apr 09 2020 at 13:29, on Zulip):

or even

Santiago Pastorino (Apr 09 2020 at 13:30, on Zulip):

I-prioritize #70943

Santiago Pastorino (Apr 09 2020 at 13:30, on Zulip):

also thinking about the automation for this

Santiago Pastorino (Apr 09 2020 at 13:30, on Zulip):

want to have @rustbot prioritize

Santiago Pastorino (Apr 09 2020 at 13:30, on Zulip):

which would assign I-prioritize to the issue but also open a topic on zulip asking for prioritization

Santiago Pastorino (Apr 09 2020 at 13:31, on Zulip):

for more info see https://github.com/rust-lang/triagebot/issues/453

LeSeulArtichaut (Apr 09 2020 at 13:31, on Zulip):

I may have time today or tomorrow to work on an implementation, if @simulacrum doesn't take it before then :slight_smile:

Santiago Pastorino (Apr 09 2020 at 13:32, on Zulip):

yeah this should be easy to do

Santiago Pastorino (Apr 09 2020 at 13:32, on Zulip):

and would give us the opportunity to play with Zulip integration

simulacrum (Apr 09 2020 at 13:32, on Zulip):

Oh I'm sure I won't :)

LeSeulArtichaut (Apr 09 2020 at 13:33, on Zulip):

I win :big_smile:

simulacrum (Apr 09 2020 at 13:33, on Zulip):

feel free to ping me with questions, though I may not respond quickly, I'm pretty busy today/tomorrow

LeSeulArtichaut (Apr 09 2020 at 13:33, on Zulip):

Alright, thanks!

simulacrum (Apr 09 2020 at 13:33, on Zulip):

probably best in the #t-release/triagebot stream just to make it public for everyone

centril (Apr 09 2020 at 13:34, on Zulip):

@simulacrum heh; I guess we're moving to Zulip then

centril (Apr 09 2020 at 13:34, on Zulip):

(we = release team)

simulacrum (Apr 09 2020 at 13:34, on Zulip):

hm? no

simulacrum (Apr 09 2020 at 13:34, on Zulip):

I just wanted triagebot here selfishly :)

centril (Apr 09 2020 at 13:35, on Zulip):

hah :D

Last update: Jun 05 2020 at 23:10UTC