Stream: t-compiler/wg-prioritization

Topic: I-prioritize #70655 Make clippy a git subtree instead of a g


triagebot (Apr 24 2020 at 10:48, on Zulip):

@WG-prioritization issue #70655 has been requested for prioritization.

DPC (Apr 24 2020 at 11:32, on Zulip):

this is a pr btw.. is it okay to be nominating prs?

LeSeulArtichaut (Apr 24 2020 at 13:46, on Zulip):

You mean prioritizing?

DPC (Apr 24 2020 at 14:00, on Zulip):

yes

LeSeulArtichaut (Apr 24 2020 at 14:02, on Zulip):

I don't see what it would mean in fact. To me, prioritizing an issue means "Do we need to work on this?", but for a PR the work is already done.

Wesley Wiser (Apr 24 2020 at 15:02, on Zulip):

Agreed, I'm not sure anything needs to be done with the PR other than having someone do a review and r+ it. The MCP was accepted so this is "just" the implementation we've already agreed to.

Santiago Pastorino (Apr 24 2020 at 17:29, on Zulip):

well, in my opinion we could prioritize PRs

Santiago Pastorino (Apr 24 2020 at 17:29, on Zulip):

to potentially rush reviews

Santiago Pastorino (Apr 24 2020 at 17:30, on Zulip):

for this one in particular doesn't make a lot of sense and I'd just remove the I-prioritize tag

Santiago Pastorino (Apr 24 2020 at 17:30, on Zulip):

but it may be useful in other cases

triagebot (Apr 24 2020 at 18:19, on Zulip):

Issue #70655's prioritization request has been removed.

Last update: Jun 05 2020 at 22:15UTC