Repository navigation

Fix the competing tools module root in mypy - #1421

Merged

trissim merged 1 commit into

mainfrom

fix/tools-package-namespace

Nov 2, 2026

Merged

Fix the competing tools module root in mypy#1421
trissim merged 1 commit into
mainfrom
fix/tools-package-namespace

Commits on Nov 2, 2026
- Use the repository root for qualified tools module identities
  trissim
  committed
  ba8ada6