mirror of
https://github.com/zulip/zulip.git
synced 2026-07-09 21:21:47 +08:00
We should eventually add templating for the set of hosts here, but it's worth merging this change to remove the deleted hostname and replace it with the current one. |
||
|---|---|---|
| .. | ||
| zulip | ||
| zulip_ops | ||