Lint documentation markdown files with markdownlint
We could add https://github.com/igorshubovych/markdownlint-cli as pre-commit hook instead of doc8.
We could add https://github.com/igorshubovych/markdownlint-cli as pre-commit hook instead of doc8.
changed milestone to %ML Prod - Summer 2023
added Documentation P2 labels
assigned to @schneider-y
unassigned @yschneider
removed P2 label
changed title from Lint documentation markdown files with mdformat to Lint documentation markdown files with markdownlint
changed the description
changed milestone to %0.4.0
assigned to @ebardou
mentioned in merge request !543 (merged)
closed with merge request !543 (merged)