summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorClaudiu Popa <pcmanticore@gmail.com>2019-09-30 10:00:44 +0200
committerClaudiu Popa <pcmanticore@gmail.com>2019-09-30 10:00:44 +0200
commit6198797aac41f938dd752620efe04b3e8503e2d1 (patch)
treebc04df2e5b6ade583584b165ec7d3f729def88c7 /doc
parentaa587eca1ec8a98c42fce6fac6f207bfb9f3a06e (diff)
downloadpylint-git-6198797aac41f938dd752620efe04b3e8503e2d1.tar.gz
Pin mypy and typed-ast to fix the CI
Diffstat (limited to 'doc')
-rw-r--r--doc/intro.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/intro.rst b/doc/intro.rst
index aea0495e4..8fcaf5d12 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -26,7 +26,7 @@ severity of the warnings and errors.
.. _pychecker: http://pychecker.sf.net
.. _pyflakes: https://github.com/pyflakes/pyflakes
.. _flake8: https://gitlab.com/pycqa/flake8/
-.. _mypy: https://github.com/JukkaL/mypy
+.. _mypy: https://github.com/python/mypy
.. _`PEP 8`: https://www.python.org/dev/peps/pep-0008/
.. _`Guido's style guide`: https://www.python.org/doc/essays/styleguide/
.. _`refactoring book`: https://www.refactoring.com/