Repository navigation

Copy pr body into squash commit to close issues - #10

Merged

hnrobert merged 2 commits into

mainfrom

ci/auto-copy-pr-body

Nov 6, 2026

Merged

Copy pr body into squash commit to close issues#10
hnrobert merged 2 commits into
mainfrom
ci/auto-copy-pr-body

Commits on Nov 6, 2026
- ci: copy pr body into squash commit to close issues
  hnrobert
  committed
  ec39dbe
- ci: honor [auto merge] marker in pr body
  hnrobert
  committed
  590b5bb