developer-setup: Mention the current mypy version we use

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

Related to swh/infra/sysadm-environment#3746 (closed)

---

Migrated from D7054 (view on Phabricator)

Build is green

Patch application report for D7054 (id=25582)

Rebasing onto 4ac8648f...

Current branch diff-target is up to date.

Changes applied before test

commit f653c250ee3a9d5dc99f00920d02244233746540
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date:   Tue Feb 1 09:43:55 2022 +0100

    developer-setup: Mention the current mypy version we use
    
    To avoid discrepancy with tox when pre-commit is triggered.

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/109/ for more details.

Meh, but I guess there's no real way around it...

Merge request was accepted

approved this merge request

Merge request was merged

closed