Marco Ferrari 6f70adee89 fix: enable linting changed files with textlint (#5100) ... textlint was expensive to run because we added every file in the list of files to lint to FILE_ARRAY_NATURAL_LANGUAGE. In #5041, we mitigated this issue but lost the ability to run textlint on changed files only. Given that textlint ignore files for which it doesn't have a plugin installed, and that we don't currently install additional plugins besides the default ones to lint markdown files and text files, we let textlint run on these files only, so we can have the feature to lint only changed files with this linter as well, back.		2024-01-10 09:49:04 +01:00
..
functions	fix: enable linting changed files with textlint (#5100)	2024-01-10 09:49:04 +01:00
linter.sh	fix: fix GITHUB_BEFORE_SHA initalization for push (#5098)	2024-01-05 23:07:39 +01:00