@WG-prioritization issue #70655 has been requested for prioritization.
this is a pr btw.. is it okay to be nominating prs?
You mean prioritizing?
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.
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.
well, in my opinion we could prioritize PRs
to potentially rush reviews
for this one in particular doesn't make a lot of sense and I'd just remove the
but it may be useful in other cases
Issue #70655's prioritization request has been removed.