Stream: t-compiler/wg-prioritization/alerts

Topic: stream events


Notification Bot (Jun 24 2020 at 14:14, on Zulip):

Stream created by Santiago Pastorino.

Santiago Pastorino (Jun 24 2020 at 14:15, on Zulip):

@WG-prioritization have created this stream and subscribed everyone that is signed up on #t-compiler/wg-prioritization

Santiago Pastorino (Jun 24 2020 at 14:15, on Zulip):

so we can move our alerts here and leave the other stream for discussions

LeSeulArtichaut (Jun 24 2020 at 14:16, on Zulip):

Oh this is great

Santiago Pastorino (Jun 24 2020 at 14:18, on Zulip):

created @WG-prioritization/alerts too

Santiago Pastorino (Jun 24 2020 at 14:18, on Zulip):

for now I've copied everyone

Santiago Pastorino (Jun 24 2020 at 14:19, on Zulip):

@LeSeulArtichaut now we need to change triagebot to make it open all the topics here and ping the alerts group

Santiago Pastorino (Jun 24 2020 at 14:19, on Zulip):

people that do not want to be on alerts group, let me know and I can remove them

LeSeulArtichaut (Jun 24 2020 at 14:19, on Zulip):

All we need is the ID of the stream

Santiago Pastorino (Jun 24 2020 at 14:23, on Zulip):

yep

Santiago Pastorino (Jun 24 2020 at 14:24, on Zulip):

how do you want to make this change? would it make sense to place everything in #73695 or should we just merge that and fix this afterwards?

LeSeulArtichaut (Jun 24 2020 at 14:24, on Zulip):

Can you fetch it for me? I’m on my phone rn :D

Santiago Pastorino (Jun 24 2020 at 14:24, on Zulip):

https://rust-lang.zulipchat.com/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts

Santiago Pastorino (Jun 24 2020 at 14:24, on Zulip):

I guess is that number, right?

Santiago Pastorino (Jun 24 2020 at 14:24, on Zulip):

245100

lcnr (Jun 24 2020 at 14:24, on Zulip):

Santiago Pastorino said:

people that do not want to be on alerts group, let me know and I can remove them

Apparently I was able to just remove myself :laughing: I might want to get added back in once I have more free time again, will see how well it works without getting pinged

LeSeulArtichaut (Jun 24 2020 at 14:25, on Zulip):

Yes that’s it

Santiago Pastorino (Jun 24 2020 at 14:25, on Zulip):

@LeSeulArtichaut I'd suggest to not remove pings for the topics as a way to start with this schema

Santiago Pastorino (Jun 24 2020 at 14:26, on Zulip):

but unsure, I guess you should define because I'm going to remove myself from the group cause I check that preemptively

DPC (Jun 24 2020 at 14:26, on Zulip):

@lcnr you can unsubscribe/subscribe to streams whenever you want :slight_smile: (that should also take care of the notification iirc)

lcnr (Jun 24 2020 at 14:32, on Zulip):

Yeah, but I wasn't sure if it's possible to enter/exit groups

lcnr (Jun 24 2020 at 14:32, on Zulip):

^ exit :check_mark: enter :cross_mark:

LeSeulArtichaut (Jun 24 2020 at 14:38, on Zulip):

IIUC you can manage a group if you’re part or it?

lcnr (Jun 24 2020 at 14:42, on Zulip):

yeah, I think I can even remove other people

lcnr (Jun 24 2020 at 14:43, on Zulip):

which I didn't try though

LeSeulArtichaut (Jun 24 2020 at 14:45, on Zulip):

Me neither :D

LeSeulArtichaut (Jun 24 2020 at 14:55, on Zulip):

@Santiago Pastorino I think this problem is quite complex, because I can see 2 possible kinds of people:

Also eventually ppl may also not want to be flooded by messages, even if they don’t ping.

The solution would be to use this stream and the new ping, so that ppl in 1) can get notified while ppl in 2) can follow the discussions without getting pinged. And also eventually if ppl want to ignore those notifs they can unsubscribe from this stream.

Santiago Pastorino (Jun 24 2020 at 15:04, on Zulip):

yes and also people can mute this stream

Santiago Pastorino (Jun 24 2020 at 15:05, on Zulip):

but I guess you guys should decide in which topics of this stream you want to ping

Santiago Pastorino (Jun 24 2020 at 15:05, on Zulip):

I-prioritize seems to be a clear one

Santiago Pastorino (Jun 24 2020 at 15:05, on Zulip):

unsure about the rest

Santiago Pastorino (Jun 24 2020 at 15:06, on Zulip):

I guess lcnr was the one that didn't want to be pinged and they are going to unsubscribe so I think I'd just ping on all the streams as we are currently doing

RalfJ (Jun 24 2020 at 16:19, on Zulip):

Santiago Pastorino said:

so we can move our alerts here and leave the other stream for discussions

what does that mean? what are "alerts"?

RalfJ (Jun 24 2020 at 16:20, on Zulip):

I am subscribed to the prioritization stream (what an unspellable word^^) just because I get mentioned sometimes, I don't actually follow the discussions -- so I guess I can unsubscribe the alert stream?

DPC (Jun 24 2020 at 16:27, on Zulip):

@RalfJ alerts are when issues get requested for prioritisation , nomination and the like

DPC (Jun 24 2020 at 16:27, on Zulip):

so whenever the label is added, it mentions the group here and creates a thread for it

RalfJ (Jun 24 2020 at 16:41, on Zulip):

but the thread is in the main stream?

lcnr (Jun 24 2020 at 16:44, on Zulip):

I think the main stream is now only for meetings and discussions...

LeSeulArtichaut (Jun 24 2020 at 16:44, on Zulip):

All threads created automatically will be created here

lcnr (Jun 24 2020 at 16:45, on Zulip):

you can probably unsubscribe wg-prioritization and only mute wg-prioritization/alerts

Santiago Pastorino (Jun 24 2020 at 16:57, on Zulip):

right, probably for people that do not belong to the working group is more interesting to be in this group and not in the other one

Santiago Pastorino (Jun 24 2020 at 16:57, on Zulip):

#t-compiler/wg-prioritization will be for meetings and discussions about our process and things like that

Santiago Pastorino (Jun 24 2020 at 16:58, on Zulip):

#t-compiler/wg-prioritization/alerts will be about issues and we will be discussing issues here

Santiago Pastorino (Jun 24 2020 at 16:59, on Zulip):

RalfJ said:

I am subscribed to the prioritization stream (what an unspellable word^^) just because I get mentioned sometimes, I don't actually follow the discussions -- so I guess I can unsubscribe the alert stream?

so answering your question more concretely, you would want to be in this one for sure but unsure if you want to follow discussions about our process :)

pnkfelix (Jul 01 2020 at 16:51, on Zulip):

it may be too late for me to complain about this, but: For me on zulip, the presentation of the side bar cannot be widened, and so streams with long matching prefixes are not distinguishable (other than remembering which one comes first)

pnkfelix (Jul 01 2020 at 16:52, on Zulip):

I guess this is my way of saying "gee it maybe would have been better if we had figured out a different name for this stream, one where some difference occurs early in the string."

pnkfelix (Jul 01 2020 at 16:52, on Zulip):

but then again, I suppose it is a good thing that these two streams are neighbors in the list (and probably always will be...)

LeSeulArtichaut (Jul 01 2020 at 16:53, on Zulip):

It seems fine to me to name it prioritization-alerts, though that would "break" the patterns used everywhere else

LeSeulArtichaut (Jul 01 2020 at 16:53, on Zulip):

And also break the alphabetical order, right, didn't think about that

lcnr (Jul 01 2020 at 16:53, on Zulip):

wg-prio might work?

apiraino (Jul 01 2020 at 16:53, on Zulip):

yes the streams are indistinguishable by reading the text. But colors are different (at least on my client), that helps me a bit

apiraino (Jul 01 2020 at 16:54, on Zulip):

2020-07-01_185350.png

LeSeulArtichaut (Jul 01 2020 at 16:54, on Zulip):

I set the "main" prioritization stream to light blue and this stream to dark blue so I know which is which thanks to colors too

Santiago Pastorino (Jul 01 2020 at 18:51, on Zulip):

I see the colors but an easier way to differentiate between the streams is by the content

Santiago Pastorino (Jul 01 2020 at 18:51, on Zulip):

this stream should all be about issues and the other one should be about general discussions

Santiago Pastorino (Jul 01 2020 at 18:52, on Zulip):

image.png

Santiago Pastorino (Jul 01 2020 at 18:52, on Zulip):

vs

Santiago Pastorino (Jul 01 2020 at 18:52, on Zulip):

image.png

Santiago Pastorino (Jul 01 2020 at 18:53, on Zulip):

and also ...

Santiago Pastorino (Jul 01 2020 at 18:53, on Zulip):

image.png

Santiago Pastorino (Jul 01 2020 at 18:53, on Zulip):

the ... dots there :)

DPC (Jul 01 2020 at 18:54, on Zulip):

ah i thought everyone had the same colours (though i remember seeing a place where you can change it )

Santiago Pastorino (Jul 01 2020 at 18:54, on Zulip):

anyway, I'm not opposed to change names if it's better for the rest

DPC (Jul 01 2020 at 18:54, on Zulip):

i have a nice contrasting yellow and purple :D

DPC (Jul 01 2020 at 18:56, on Zulip):

maybe we could flip it to `t-compiler/alerts-wg-prioritisation

LeSeulArtichaut (Jul 01 2020 at 20:55, on Zulip):

I think all WGs streams tend to have long names

LeSeulArtichaut (Jul 01 2020 at 20:56, on Zulip):

So maybe we could do something for all WGs? Would not including the team name (e.g. wg-prioritization) be fine?

Last update: Apr 11 2021 at 17:45UTC