Stream: git-cranelift

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

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!

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!

GitHub (Feb 21 2020 at 18:04):

bjorn3 commented on Issue #1399:

:+1:

Last updated: Dec 23 2024 at 14:03 UTC