ruff
`ruff server`: Support setting to prioritize project configuration over editor configuration
#11086

Merged

`ruff server`: Support setting to prioritize project configuration over editor configuration #11086

snowsignal merged 4 commits into main from jane/server/settings/prioritize-workspace-settings

snowsignal added configuration

snowsignal added server

snowsignal force pushed from 9637979f to 86ff807f 1 year ago

snowsignal force pushed from 86ff807f to 51b5c51f 1 year ago

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

Base automatically changed from jane/server/settings/resolution to main 1 year ago

charliermarsh commented on 2024-04-24

Implement workspace prioritization setting

a71e3ed7

snowsignal force pushed from 51b5c51f to a71e3ed7 1 year ago

Make priority setting an enum instead of a boolean

c3c14ff4

snowsignal requested a review from

charliermarsh 1 year ago

resolution_strategy -> configuration_resolution_strategy

f4ad8e80

snowsignal force pushed from 2a2997f8 to f4ad8e80 1 year ago

charliermarsh commented on 2024-04-25

MichaReiser approved these changes on 2024-04-25

Rename 'configuration resolution strategy' to 'configuration preferen…

e58c8b60

snowsignal force pushed from c8b6b56d to e58c8b60 1 year ago

snowsignal enabled auto-merge (squash) 1 year ago

snowsignal merged 16a1f3cb into main 1 year ago

snowsignal deleted the jane/server/settings/prioritize-workspace-settings branch 1 year ago

Reviewers

MichaReiser

charliermarsh

Assignees

No one assigned

Labels

configuration server

Milestone

No milestone