developer-setup: Mention the current mypy version we use
To avoid discrepancy with tox when pre-commit is triggered.
Description
Description
Details
Details
- Provenance
ardumont Authored on Feb 1 2022, 9:43 AM ardumont Pushed on Feb 1 2022, 10:41 AM - Differential Revision
- D7054: developer-setup: Mention the current mypy version we use
- Parents
- rDDOC4ac8648fb0a7: Document the mirror credentials management
- Branches
- Unknown
- Tags
- Tasks
- T3746: staging: Deploy maven indexer/lister/loader