mirror of https://github.com/zulip/zulip.git
6ab646cd53
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 |