fix(remediation): sync PR title/body even when fix commit is a no-op - #20

Merged

franzramadhan merged 2 commits into

mainfrom

fix/remediation-noop-pr-title-sync

Aug 7, 2026

Commits on Aug 7, 2026

fix(remediation): sync PR title/body even when fix commit is a no-op
franzramadhan
committed
c9fb345
docs: note remediation always syncs PR title/body after a no-op commit
franzramadhan
committed
98bb2ee