Micha Reiser 0c65d0c8a6 Add lint section to Ruff configuration ... ## Summary This PR adds a new `lint` section to the configuration that groups all linter-specific settings. The existing top-level configurations continue to work without any warning because the `lint.*` settings are experimental. The configuration merges the top level and `lint.*` settings where the settings in `lint` have higher precedence (override the top-level settings). The reasoning behind this is that the settings in `lint.` are more specific and more specific settings should override less specific settings. I decided against showing the new `lint.*` options on our website because it would make the page extremely long (it's technically easy to do, just attribute `lint` with `[option_group`]). We may want to explore adding an `alias` field to the `option` attribute and show the alias on the website along with its regular name. ## Test Plan * I added new integration tests * I verified that the generated `options.md` is identical * Verified the default settings in the playground 		2023-09-27 08:46:27 +02:00
..
src	Add lint section to Ruff configuration	2023-09-27 08:46:27 +02:00
Cargo.toml	Bump indicatif from 0.17.6 to 0.17.7 (#7592)	2023-09-22 08:54:48 +00:00