- Document step-by-step flow to reopen closed PRs and merge via GitHub - Add agent instruction block: always merge via GitHub, never close after local integration; if closed, reopen and merge for contributor credit - Add shortcut link for Reopen & merge a closed PR