Stream: zulip

Topic: scale


nikomatsakis (Nov 08 2019 at 16:18, on Zulip):

I wonder if our Zulip instance is larger than most

nikomatsakis (Nov 08 2019 at 16:18, on Zulip):

Some things feel surprisingly sluggish

nikomatsakis (Nov 08 2019 at 16:18, on Zulip):

e.g., the lag to add a user to a User Group is .. sort of ridiculous

nikomatsakis (Nov 08 2019 at 16:18, on Zulip):

I should file an issue I guess

Santiago Pastorino (Nov 09 2019 at 10:25, on Zulip):

:+1:

Last update: Nov 17 2019 at 06:55UTC