5 Commits

Author	SHA1	Message	Date
Ben Grande	011a71a36d	style: limit line length per file extension ... Editorconfig can only act based on file extension and path, not attributes, it remains a mean only for multiple collaborators to use the same configuration on their editor. When it is too restrictive, such as not considering the file syntax, use a lint tool for the specific file type instead of trusting editorconfig. Changes were made to increase readability.	2024-07-09 17:42:07 +02:00
Ben Grande	e058acb78d	ci: add permission for job to close PR	2024-07-01 13:42:20 +02:00
Ben Grande	51424a47e6	ci: change workflow if statement syntax	2024-07-01 12:29:20 +02:00
Ben Grande	ba5193126e	ci: add condition to close pull request	2024-07-01 12:18:46 +02:00
Ben Grande	ded46161f6	ci: close PRs that have commits made on GitHub Web	2024-07-01 12:09:07 +02:00