08:31:29 I'm not a fan of the idea to be honest. Who is moderating the discord side? 11:38:31 I don't see a problem with it. It's permissionless anyway to do so. We can deal with issues if they arise. 11:48:05 I would follow the same approach -dev is heaving. I don't see the reason to have discord folks in this room (no problem in making it read-only). I'm not a fan of needing to ping moderators somewhere in case of issues with discord users. 11:48:40 what do you mean with "it's permissionless anyway to do so"? binaryFate 11:51:25 anyone can technically bridge any public IRC channel to whatever they want 11:52:43 oh maybe you mean that they can set it up anytime? I'm not sure, i think they need the approval of an admin/mod in the room 11:53:43 Ah in that case maybe yes. But in theory anyone can just bridge via a normal user if they wanted to. 12:55:29 I think that's against freenode's rules tho 16:16:40 I think it's fine. if it ends up being unhelpful or harmful, we can just remove it 16:36:19 If people want it, so be it.