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

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

sharkdp merged 1 commit into main from david/mypy_primer-use-upstream-repo

sharkdp added ci

sharkdp added ty

sharkdp force pushed from 54c082ff to 120892e7 234 days ago

sharkdp force pushed from 120892e7 to af3cdf43 234 days ago

sharkdp commented on 2025-04-22

[red-knot] mypy_primer: Use upstream repo

f1a91dcb

sharkdp force pushed from af3cdf43 to f1a91dcb 234 days ago

sharkdp marked this pull request as ready for review 234 days ago

sharkdp requested a review from

carljm 234 days ago

sharkdp requested a review from

AlexWaygood 234 days ago

sharkdp requested a review from

dcreager 234 days ago

sharkdp requested a review from

MichaReiser 234 days ago

sharkdp merged 38a3b056 into main 234 days ago

sharkdp deleted the david/mypy_primer-use-upstream-repo branch 234 days ago

Reviewers

carljm

AlexWaygood

dcreager

MichaReiser

Assignees

No one assigned

Labels

ci ty

Milestone

No milestone