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

…

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

…

zulipbot-usage.md

developer docs: Refer to 'zulipbot add' instead of 'zulipbot label'.

2018-09-21 12:16:39 -07:00