feat: backport /pr-loop command + merge-ready.sh from downstream - #17

Merged

robercano merged 3 commits into

mainfrom

chore/backport-pr-loop

Jun 30, 2026

Commits on Jun 30, 2026

feat(scripts): merge-ready.sh — auto-merge owner-approved, CI-green PRs
robercano-ghbot
committed
251a1f6
feat(commands): /pr-loop slash command to arm the PR loop in one step
robercano-ghbot
committed
d461dc7
Merge branch 'main' into chore/backport-pr-loop
robercano
authored
c069f6d