Skip to content

Conversation

@jjngx
Copy link
Contributor

@jjngx jjngx commented May 21, 2025

Proposed changes

This PR addresses #7810

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

Signed-off-by: Jakub Jarosz <[email protected]>
@jjngx jjngx requested a review from a team as a code owner May 21, 2025 10:03
@github-actions github-actions bot added bug An issue reporting a potential bug documentation Pull requests/issues for documentation labels May 21, 2025
@jjngx jjngx merged commit 2f0cb58 into main May 21, 2025
30 checks passed
@jjngx jjngx deleted the fix/markdown-linter-rules branch May 21, 2025 10:12
pdabelf5 pushed a commit that referenced this pull request May 22, 2025
AlexFenlon pushed a commit that referenced this pull request May 26, 2025
@AlexFenlon AlexFenlon added chore Pull requests for routine tasks and removed bug An issue reporting a potential bug documentation Pull requests/issues for documentation labels Jun 23, 2025
@AlexFenlon AlexFenlon changed the title fix markdown linter issues Fix markdown linter issues Jun 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug]: New Markdown Linter version introduces rules that break the pipeline

4 participants