Skip to content

Re-enable mdformat for dev-docs - #3386

Merged
deruyter92 merged 3 commits into
arash/dev_docsfrom
jaap/fix_mkdocs_mdformat
Jul 15, 2026
Merged

Re-enable mdformat for dev-docs#3386
deruyter92 merged 3 commits into
arash/dev_docsfrom
jaap/fix_mkdocs_mdformat

Conversation

@deruyter92

Copy link
Copy Markdown
Collaborator

Re-enable mdformat for dev-docs

Problem

dev-docs/ markdown formatting was disabled in pre-commit after mdformat-mkdocs#80: the plugin could rewrite MkDocs autoref links into broken escaped links. This came from #3353, which added dev-docs/ to mdformat and then commented the hook out again because of the aforementioned issue.

Fix

Thanks to @KyleKing for df7394f6 and 79e245b8 (see deruyter92#4):

  • Re-enable mdformat-mkdocs for dev-docs/**/*.md (pinned to 5.2.1)
  • Use --ignore-missing-references so unresolved autoref targets are left alone (mdformat-mkdocs#80)
  • Run an initial formatting pass on a few dev-docs pages

b5fb4519 restores two separate hooksmdformat-myst for docs/, mdformat-mkdocs for dev-docs/ — per hukkin/mdformat#546, with brief comments explaining the split and the --ignore-missing-references flag.

Related

@deruyter92
deruyter92 force-pushed the jaap/fix_mkdocs_mdformat branch from 6e7a7ad to 0b9c89f Compare July 7, 2026 09:56
@deruyter92
deruyter92 requested a review from C-Achard July 7, 2026 10:00
Comment thread .pre-commit-config.yaml
@deruyter92
deruyter92 merged commit 4fb98ae into arash/dev_docs Jul 15, 2026
3 checks passed
@deruyter92
deruyter92 deleted the jaap/fix_mkdocs_mdformat branch July 15, 2026 12:17
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.

3 participants