Repository navigation

feat(core): safely close pull requests already integrated in main - #12

Merged

ellmos-multi-bot merged 2 commits into

mainfrom

multibot/core-close-integrated-prs-20261025

Oct 25, 2026

Merged

feat(core): safely close pull requests already integrated in main#12
ellmos-multi-bot merged 2 commits into
mainfrom
multibot/core-close-integrated-prs-20261025

Commits on Oct 25, 2026
- feat(core): close only proven integrated pull-request heads
  ellmos-multi-bot
  committed
  8897f70
- style(core): format close action and policy switch
  ellmos-multi-bot
  committed
  ec4e7f0