mirror of https://github.com/zulip/zulip.git
3003517430
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. |
||
---|---|---|
.. | ||
cheat-sheet.md | ||
cloning.md | ||
collaborate.md | ||
fixing-commits.md | ||
index.rst | ||
overview.md | ||
pull-requests.md | ||
reviewing.md | ||
setup.md | ||
terminology.md | ||
the-git-difference.md | ||
troubleshooting.md | ||
using.md | ||
working-copies.md | ||
zulip-tools.md |