Stream: Miscellaneous

Topic: Discourse and Zulip announcements


view this post on Zulip Donald Sebastian Leung (Sep 30 2020 at 09:04):

Hello there! Just to confirm, are Discourse announcements relayed here on Zulip (and vice versa)?

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 10:09):

@Donald Sebastian Leung It only goes one way: from Discourse to Zulip.

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 10:10):

@Donald Sebastian Leung It seems that you have two different Zulip accounts. Should I disable the other one (@Donald Sebastian Leung)?

view this post on Zulip Donald Sebastian Leung (Sep 30 2020 at 11:49):

Théo Zimmermann said:

Donald Sebastian Leung It seems that you have two different Zulip accounts. Should I disable the other one (Donald Sebastian Leung)?

Yes please, I changed my email address not long ago and Zulip identifies accounts based on email address instead of GitHub account for some reason

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 13:18):

@Cyril Cohen maybe that's a bug that we should report to Zulip then?

view this post on Zulip Cyril Cohen (Sep 30 2020 at 15:11):

If there is a bug we should report indeed. However 1. I cannot understand the bug, I see only one account for @Donald Sebastian Leung, was the other one removed? 2. The feature that identifies people based on their githubnoreply mail is quite recent, so if one created another account before the feature was activated, I would not consider this a bug , is that the case?

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 15:12):

I disabled the other account.

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 15:13):

@Donald Sebastian Leung should confirm but IIUC he always logged in through GitHub and this resulted in two distinct account when he changed his GitHub e-mail address. Is this correct?

view this post on Zulip Donald Sebastian Leung (Oct 01 2020 at 03:26):

Théo Zimmermann said:

Donald Sebastian Leung should confirm but IIUC he always logged in through GitHub and this resulted in two distinct account when he changed his GitHub e-mail address. Is this correct?

Yes, that is correct


Last updated: Jun 01 2023 at 11:01 UTC