mirror of
https://github.com/zulip/zulip.git
synced 2026-07-12 21:04:41 +08:00
Eventually this should go to the staging server, and we'll have a separate process to migrate changes from there to production. (imported from commit 2a712758844524fdf2f23f798baf6b607d056b9a) |
||
|---|---|---|
| .. | ||
| jslint | ||
| print-all | ||
| check-all | ||
| clean-repo | ||
| django-template-graph | ||
| do-schema-change | ||
| post-receive | ||
| run-dev.py | ||
| update-deployment | ||