mirror of
https://github.com/zulip/zulip.git
synced 2025-11-01 12:33:40 +00:00
We also add the `run-dev` commands to `/devtools` page. The GitHub issue link is duplicated between both, but it's a useful duplication and the link is unlikely to change.