Skip to content

Start pull-request descriptions without an opening heading. - #68

Merged
jon merged 1 commit into
mainfrom
work/pr-opening
Sep 13, 2026
Merged

jon merged 1 commit into
mainfrom
work/pr-opening

Commits

Commits on Sep 13, 2026