ruff
Add `user_configuration_directory` to `System`
#16020

Merged

Add `user_configuration_directory` to `System` #16020

MichaReiser merged 3 commits into main from micha/system-user-configurationd-directory

MichaReiser added internal

MichaReiser added ty

MichaReiser marked this pull request as ready for review 239 days ago

MichaReiser requested a review from

carljm 239 days ago

MichaReiser requested a review from

AlexWaygood 239 days ago

MichaReiser requested a review from

sharkdp 239 days ago

MichaReiser force pushed from 7208d345 to 50e15b4d 239 days ago

MichaReiser force pushed from 50e15b4d to 6b787106 239 days ago

sharkdp commented on 2025-02-10

sharkdp approved these changes on 2025-02-10

Base automatically changed from micha/settings to main 236 days ago

Add `user_configuration_directory` to `System`

25b74431

Remove 'os' feature requirement in red_knot_project

d6a47027

Improve doc comments

902cdb4d

MichaReiser force pushed from 6b787106 to 902cdb4d 236 days ago

MichaReiser merged f7819e55 into main 236 days ago

MichaReiser deleted the micha/system-user-configurationd-directory branch 236 days ago

Reviewers

sharkdp

carljm

AlexWaygood

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone