Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2025-02-01 09:01:16 +0000
committerPeter Eisentraut2025-02-01 09:09:45 +0000
commit2452e71ff2fe642ff35535d48a728aeca2d61a8d (patch)
tree55b9dad9161b96873f8e8d4009802ad065db1af0 /src/backend/access/spgist
parent79e872fedb4d2f73baa0a80ba572480774edc61b (diff)
Add script to keep .editorconfig in sync with .gitattributes
Our repo already contained an .editorconfig file, but it was not kept up to date with .gitattributes. This adds a script that keeps these files in sync. A big advantage of the editorconfig file is that it many editors/IDEs get automatically configured to trim trailing newlines and add a final newline on save, while .gitattributes only complains about these problems instead of automatically fixing them. This also adds rules to .gitattributes for Python files as well as for C files in pg_bsd_indent directory (which have a different tab_width than most C files due to being vendored in). Author: Jelte Fennema-Nio <github-tech@jeltef.nl> Discussion: https://www.postgresql.org/message-id/flat/CAGECzQQGzbroAXi+Yicp3HvcCo4=g84kaOgjuvQ5MW9F0ubOGg@mail.gmail.com
Diffstat (limited to 'src/backend/access/spgist')
0 files changed, 0 insertions, 0 deletions