Tim Abbott 3003517430 docs: Move mypy documentation from contributing to testing. ... The testing section is more appropriate, since it's fundamentally part of our CI system. While we're at it, fix the fact that we were linking to GitHub, not ReadTheDocs, in the run-mypy output.		2018-12-16 21:52:53 -08: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: Move mypy documentation from contributing to testing.	2018-12-16 21:52:53 -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 mypy documentation from contributing to testing.	2018-12-16 21:52:53 -08: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