HomeSoftware Heritage

developer-setup: Mention the current mypy version we use

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

developer-setup: Mention the current mypy version we use

To avoid discrepancy with tox when pre-commit is triggered.

Details

Provenance
ardumontAuthored on Feb 1 2022, 9:43 AM
ardumontPushed on Feb 1 2022, 10:41 AM
Differential Revision
D7054: developer-setup: Mention the current mypy version we use
Tasks
T3746: staging: Deploy maven indexer/lister/loader

Commit No Longer Exists

This commit no longer exists in the repository.