We need a rustc-dev channel

[sage skiff]

i think having it a bit more hidden makes more sense

[dire lily]

it's up to the rustc developers here, but I've always seen them say they prefer the thread

[maiden wind]

i think you should link to this proposal in the thread and solicit thoughts if you want this

though yeah I've seen the same as anden

[silver shuttle]

yep, get the regulars of that thread on board with a channel and you'll have a channel (this is a conversation we've had before), but until then it'll stay as-is

there is another way we could have the reduced visibility, which would be having an opt-in or slightly-secret role gate for such a channel, but I'd once again leave that up to those folks

[austere bough]

Nah just keep it as a thread to be honest

[golden bobcat]

where's it at right now? it would be nice to have both channel for rustc dev and a more public one for people that are likely interested and newer, im sure they don't want the channels flooded with "how do I contribute"

[dire lily]

those people should go to Zulip generally

and it's at #957720175619215380 now

[silver shuttle]

https://rust-lang.zulipchat.com/

(https://www.rust-lang.org/community)

[hexed spruce]

maybe we can do better at pointing people to zulip for serious discussion? I dunno how but whether people are beginner or advanced contributors, if they want serious help then zulip is the place to go

rustc-dev here is more kinda jokey with a bit of serious discussion mixed in

[hollow fern]

Let's just ban them so they go there instead /s