mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 21:13:36 +00:00
While this is a different system than I'd written up in #8004, I think this is a better solution to the general problem of cron jobs to run on just one server. Fixes #8004.