Stream: git-cranelift

Topic: cranelift / Issue #1399 Replace Gitter and IRC by a Bytec...

view this post on Zulip GitHub (Feb 21 2020 at 15:43):

tschneidereit commented on Issue #1399:

I think it might be better to link to just the stream, not a specific topic: we don't want to encourage people to habitually use the general topic instead of more specific topics as appropriate. With that: LGTM!

view this post on Zulip GitHub (Feb 21 2020 at 17:57):

bnjbvr commented on Issue #1399:

Thanks @bjorn3 for the suggestions! We actually had a chat with Till, and there's some likelihood (in my opinion) that people would be confused by the UI if landing on a stream, and would start asking random questions under random topics. No strong opinion here, just intuition, so we can start with what's done here and adjust if it doesn't work out!

view this post on Zulip GitHub (Feb 21 2020 at 18:04):

bjorn3 commented on Issue #1399:

:+1:

Last updated: Nov 22 2024 at 16:03 UTC