Deprecate discussions here for Zulip chat?

[StevenClontz]

It seems that this community has moved towards having discussions in the Issues. I think this is reasonable, as most of our discussions are generally "resolvable" or "implementable".

Meanwhile, I'd like to have more casual chat and general planning/discussions happen in the code4math Zulip, where we can loop in other math database folks for input as needed.

So I wanted to gather input on the possibility of disabling discussion threads here, and moving all conversations to either GitHub Issues or Zulip chats.

[prabau]

I am fine with this. You mean we can have some discussions on github issues and others on zulip, depending on the topic, right?

[StevenClontz]

Yes, that's what I have in mind.

[StevenClontz]

Given no objections, and the general lack of discussion here as well, I am going to archive this forum. Conversations will continue in relevant Issues and code4math Zulip.