]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #75496 - spastorino:prioritization-zulip-topics, r=Mark-Simulacrum
authorTyler Mandry <tmandry@gmail.com>
Fri, 14 Aug 2020 01:00:25 +0000 (18:00 -0700)
committerGitHub <noreply@github.com>
Fri, 14 Aug 2020 01:00:25 +0000 (18:00 -0700)
commit912b5b3067699618ae89d88a75f7d2afcc3f70ef
treea00487f62e6a1e2285b6fa84ff63bdb413be2343
parent9cbc03112f76bbb1c6b5d8d014d43aa706245b40
parent264434fea56a6cefa08223331692cf162f97f8f9
Rollup merge of #75496 - spastorino:prioritization-zulip-topics, r=Mark-Simulacrum

Prioritization WG: Open Zulip topics only for `I-prioritize` issues

This was discussed in https://rust-lang.zulipchat.com/#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/nominations.20and.20other.20automatically.20opened.20topics
Is not being helpful to open topics on any of these events and it's even causing more work for the group.

@LeSeulArtichaut ... I think this is all that's needed to get rid of this, right?.

r? @Mark-Simulacrum

cc @rust-lang/wg-prioritization

@bors rollup=always