mirror of https://github.com/zulip/zulip.git
6b37f9a290
After reflecting a bit on the last commit, I think it's substantially easier to understand what's happening for these two tasks to be defined in the same file, because we want the timing to be different to avoid potential races. |
||
|---|---|---|
| .. | ||
| zulip | ||
| zulip_ops | ||
| deps.yaml | ||