Documentation says nothing about fsharplint.json file
Description
The docs say almost nothing about which name does the configuration file have, only here implicitly. Also, it is also not obvious that in order to customize the linting I should copy the defaults listed here, put them into a fsharplint.json file and edit them.
Coming from eslint I was expecting something like extending and overriding the defaults, like css.
Btw, thank you very much for this tool!
Hi @not-rusty, thanks for raising this, that is some important info missing from the docs - added that in #489
Regarding the overrides I agree that's how it should work, there was a regression when we moved from xml to json and it hasn't been addressed since, I'll try to take a look as part of this ticket