On Fri, 17 Apr 2026 at 10:18, Heikki Linnakangas <[email protected]> wrote: > Yeah, it would be nice to standardize on something...
Agreed. Whatever that standardized indenting style then is, it should then be encoded in .gitattributes. Our editorconfig file is generated based on that using src/tools/generate_editorconfig.py. I think in any case that script should be update to add some "DO NOT MODIFY MANUALLY! GENERATED USING src/tools/generate_editorconfig.py " header to the resulting editorconfig file. Because I agree that's not clear at the moment.
