Jack Zhang 58e28fbd21 developer docs: Refer to 'zulipbot add' instead of 'zulipbot label'. ... These changes are consistent with naming in zulip/zulipbot. See: - https://github.com/zulip/zulipbot/commit/e29e7eb - https://github.com/zulip/zulipbot/wiki/Commands#username-add-label-name		2018-09-21 12:16:39 -07:00
..
accessibility.md	developer docs: Refer to 'zulipbot add' instead of 'zulipbot label'.	2018-09-21 12:16:39 -07:00
bug-reports.md	docs: Reorganize developer docs to improve navigation.	2017-11-16 09:45:08 -08:00
chat-zulip-org.md	documentation: Migrate all CZO stream links to new stream URL style	2018-05-24 15:15:34 -07:00
code-reviewing.md	docs: Split 'git-guide.md`.	2017-11-23 16:04:18 -08:00
code-style.md	lint: Add linter rule banning $.get and friends.	2018-02-13 16:47:59 -08:00
index.rst	docs: Move summer with Zulip doc from Dropbox paper to ReadTheDocs.	2018-04-01 22:11:45 -07:00
mypy.md	docs: Add basic documentation for adding mypy stubs.	2018-07-26 15:06:22 -07:00
summer-with-zulip.md	docs: Move summer with Zulip doc from Dropbox paper to ReadTheDocs.	2018-04-01 22:11:45 -07:00
version-control.md	docs: Reorganize developer docs to improve navigation.	2017-11-16 09:45:08 -08:00
zulipbot-usage.md	developer docs: Refer to 'zulipbot add' instead of 'zulipbot label'.	2018-09-21 12:16:39 -07:00