Skip to content

Conversation

@fiam
Copy link
Collaborator

@fiam fiam commented Jul 9, 2025

  • Use markdownlint-cli2 to lint markdown files
  • Add a workflow to trigger on PRs and after pushing, to lint all
    markdown files
  • Add a minimal configuration for the linter
  • Update all .md files to abide by the linter rules

@fiam fiam force-pushed the alberto/markdownlint branch 3 times, most recently from 7afec35 to 3cc861b Compare July 9, 2025 22:35
@fiam fiam marked this pull request as ready for review July 9, 2025 22:36
@fiam fiam force-pushed the alberto/markdownlint branch 2 times, most recently from d0bb1d7 to 844ee53 Compare July 11, 2025 11:25
- Use markdownlint-cli2 to lint markdown files
- Add a workflow to trigger on PRs and after pushing, to lint all
  markdown files
- Add a minimal configuration for the linter
- Update all .md files to abide by the linter rules
@fiam fiam force-pushed the alberto/markdownlint branch from 844ee53 to f0e62ff Compare July 11, 2025 11:29
@fiam fiam merged commit 04709dd into main Jul 11, 2025
17 checks passed
@fiam fiam deleted the alberto/markdownlint branch July 11, 2025 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants