Skip to content

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

ellmos-multi-bot merged 2 commits into
mainfrom
multibot/core-close-integrated-prs-20261025

style(core): format close action and policy switch

ec4e7f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar