Message 412377 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content 
Georg, I was able to move forward:

- https://github.com/sphinx-contrib/sphinx-lint
- https://pypi.org/project/sphinx-lint/

Does everything looks good to you?

Next step would be to remove rstlint.py from Docs/tools and add a dependency to rstlint from the Makefile (for make check), so the CI uses sphinx-lint.