PR #16021 [red-knot] User-level configuration

[red-knot] User-level configuration #16021

MichaReiser merged 7 commits into main from micha/user-level-configuration

MichaReiser requested a review from

carljm 311 days ago

MichaReiser requested a review from

AlexWaygood 311 days ago

MichaReiser requested a review from

sharkdp 311 days ago

MichaReiser added ty

MichaReiser commented on 2025-02-07

MichaReiser force pushed from 30097578 to 39bef151 311 days ago

MichaReiser force pushed from 39bef151 to a1ab60d8 311 days ago

MichaReiser commented on 2025-02-07

MichaReiser force pushed from 2c8101ec to b2aeb586 310 days ago

MichaReiser force pushed from b2aeb586 to dd75dc2b 310 days ago

sharkdp commented on 2025-02-10

sharkdp approved these changes on 2025-02-10

Base automatically changed from micha/system-user-configurationd-directory to main 308 days ago

[red-knot] User-level configuration

ca405cf8

Use thread local to properly isolate user-configuration-directory ove…

7f01c34b

Correctly gate os-testing feature

6fb91090

Fix doc

c9b0ccfc

Fix feature gating

521cc671

MichaReiser force pushed from 4355d5de to 521cc671 308 days ago

Improve doc comments

783f3a60

Store user configuration override on `OsSystem`

1dbf7de8

MichaReiser force pushed from 118ae5b9 to 1dbf7de8 308 days ago

MichaReiser merged af832560 into main 308 days ago

MichaReiser deleted the micha/user-level-configuration branch 308 days ago

Reviewers

sharkdp

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone