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 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser requested a review from

sharkdp 1 year ago

MichaReiser added ty

MichaReiser commented on 2025-02-07

MichaReiser force pushed from 30097578 to 39bef151 1 year ago

MichaReiser force pushed from 39bef151 to a1ab60d8 1 year ago

MichaReiser commented on 2025-02-07

MichaReiser force pushed from 2c8101ec to b2aeb586 1 year ago

MichaReiser force pushed from b2aeb586 to dd75dc2b 1 year 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 1 year 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 1 year ago

Improve doc comments

783f3a60

Store user configuration override on `OsSystem`

1dbf7de8

MichaReiser force pushed from 118ae5b9 to 1dbf7de8 1 year ago

MichaReiser merged af832560 into main 1 year ago

MichaReiser deleted the micha/user-level-configuration branch 1 year ago

Reviewers

sharkdp

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone