Zulip Chat Archive

Stream: Zulip meta

Topic: Zulip bug?


Johan Commelin (Dec 04 2023 at 15:55):

Thumbs up if you can see this message in #Zulip meta

Notification Bot (Dec 04 2023 at 15:55):

A message was moved here from #mathlib reviewers > Zulip bug? by Johan Commelin.

Kevin Buzzard (Dec 04 2023 at 15:56):

Bug-hunting: please give a thumbs up if this is the first message you see in this thread.

Johan Commelin (Dec 04 2023 at 15:57):

Thumbs up if you can only see a message by the Notification bot, before Kevin's post.

Johan Commelin (Dec 04 2023 at 15:58):

Explanation: I moved a message at the top of this stream from a private stream to this public stream.

Johan Commelin (Dec 04 2023 at 15:59):

There's a hypothesis that moving messages from a private stream does not adjust its visibility...

Utensil Song (Dec 04 2023 at 16:09):

If I click on the topic, I'll see only messages starting with the bot, after a second, the message before it shows up, eventually it looks like this:

image.png

Johan Commelin (Dec 04 2023 at 16:59):

@Utensil Song Thanks for posting that screenshot

Johan Commelin (Dec 04 2023 at 17:01):

@Shreyas Srinivas Can you reproduce the screenshot by Utensil Song ?

Johan Commelin (Dec 04 2023 at 17:01):

@_all thanks for all the feedback!

Alex Vandiver (Dec 04 2023 at 17:01):

Zulip developer here. Moving messages from private streams absolutely should update their visibility. If that's not something you're seeing, we'd love to look into it.

Kevin Buzzard (Dec 04 2023 at 17:04):

This was originally noticed in a post which was moved from a private stream (with a small number of viewers) to a second private stream (with a larger number of viewers) and a certain amount of confusion occurred afterwards with 50% of people not being able to see the first message :-) This test is to see if a private message moved to a public stream also had this property.

Alex Vandiver (Dec 04 2023 at 17:05):

Can you write in to support@zulip.com with the details, so we can investigate?

Alex Vandiver (Dec 04 2023 at 17:06):

Including message-ids (which you can get from the /near/12345 you see at the end of the link on the timestamp of a message) would be particularly helpful.

Johan Commelin (Dec 04 2023 at 17:07):

Can zulip devs view messages on private streams? Maybe I shouldn't be surprised about that :see_no_evil:

Alex Vandiver (Dec 04 2023 at 17:08):

Only when we are doing specific debugging of incidents like this, via direct database access. I cannot see any such messages via my account. When we do this investigation, we do not read any message contents.

Alex Vandiver (Dec 04 2023 at 17:08):

(and to be clear, that access level is held by precisely two people, myself included)

Johan Commelin (Dec 04 2023 at 17:09):

@Alex Vandiver I'll send an email to that address

Alex Vandiver (Dec 04 2023 at 17:10):

Thank you!

Jireh Loreaux (Dec 04 2023 at 17:11):

@Johan Commelin interestingly, I can't see any post before the notification bot posted above.

Jireh Loreaux (Dec 04 2023 at 17:12):

I wasn't subscribed to the Zulip meta stream until just now though, so maybe that also has an effect @Alex Vandiver

Shreyas Srinivas (Dec 04 2023 at 17:55):

@Johan Commelin here :
image.png

Johan Commelin (Dec 04 2023 at 18:09):

Thanks!

Alex Vandiver (Dec 06 2023 at 23:02):

@Jireh Loreaux: Just to confirm -- if you visit https://leanprover.zulipchat.com/#narrow/stream/236604-Zulip-meta/topic/Zulip.20bug.3F and scroll up in the browser all of the way, you don't see a post from Johan Commelin as the first message in the topic?

Jireh Loreaux (Dec 06 2023 at 23:03):

@Alex Vandiver correct.

Jireh Loreaux (Dec 06 2023 at 23:05):

@Alex Vandiver Actually, no, now I can. Sorry for any confusion.

Jireh Loreaux (Dec 06 2023 at 23:05):

Maybe I didn't scroll all the way up before? :shrug:

Alex Vandiver (Dec 06 2023 at 23:08):

My suspicion is that you'd just recently subscribed and Zulip was still fetching earlier messages in the stream.


Last updated: Dec 20 2023 at 11:08 UTC