[red-knot] mypy_primer: Use upstream repo#17500

sharkdp merged 1 commit intomainastral-sh/ruff:mainfrom

david/mypy_primer-use-upstream-repoastral-sh/ruff:david/mypy_primer-use-upstream-repoCopy head branch name to clipboard