PR #12407 [red-knot] Watch search paths

[red-knot] Watch search paths #12407

MichaReiser merged 2 commits into main from watch-search-paths

MichaReiser force pushed from 4828c500 to 7cb5f50a 1 year ago

MichaReiser force pushed from 7cb5f50a to f969d0d2 1 year ago

MichaReiser commented on 2024-07-23

MichaReiser added ty

MichaReiser marked this pull request as ready for review 1 year ago

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser commented on 2024-07-23

AlexWaygood commented on 2024-07-23

MichaReiser force pushed from f969d0d2 to d5ba5ce7 1 year ago

AlexWaygood commented on 2024-07-23

MichaReiser force pushed from d5ba5ce7 to 98a39590 1 year ago

[red-knot] Watch search paths

b3966136

MichaReiser force pushed from 98a39590 to b3966136 1 year ago

carljm approved these changes on 2024-07-23

Address code review feedback

0dcb095f

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged eac965ec into main 1 year ago

MichaReiser deleted the watch-search-paths branch 1 year ago

Reviewers

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone