Skip to content

#2688 fix markdown linter #2722

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 18 commits into
base: dev
Choose a base branch
from
Open

#2688 fix markdown linter #2722

wants to merge 18 commits into from

Conversation

@nsiregar
Copy link
Contributor

@nsiregar nsiregar commented May 17, 2025 •
edited
Loading

fix markdown linter mentioned on #2688 by:

  • add .github/linters/.markdown-lint.yaml to configure rules related to markdown linting on docs/src
  • fix related warning produced by markdownlint

@nsiregar nsiregar closed this May 17, 2025
@nsiregar nsiregar reopened this May 18, 2025
@nsiregar nsiregar changed the title Attempt to fix markdown linter #2688 fix markdown linter May 18, 2025
@nsiregar nsiregar marked this pull request as ready for review May 18, 2025 15:17
@nsiregar nsiregar requested review from elopez and smonicas as code owners May 18, 2025 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@elopez elopez Awaiting requested review from elopez elopez is a code owner

@smonicas smonicas Awaiting requested review from smonicas smonicas is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@nsiregar