Skip to content

Migrate guideline notes/tips/exceptions to markdown callouts#407

Merged
dennisdoomen merged 4 commits into
mainfrom
copilot/update-callouts-for-notes-tips
May 17, 2026
Merged

Migrate guideline notes/tips/exceptions to markdown callouts#407
dennisdoomen merged 4 commits into
mainfrom
copilot/update-callouts-for-notes-tips

Commits

Commits on May 16, 2026

Commits on May 17, 2026