pr-merge-recompile

Checkout a PR, merge origin/main, regenerate agentic workflows, and push. Use when: (1) A PR needs to be rebased and workflows recompiled, (2) User provides a PR URL and wants to update it with latest main, (3) User says 'recompile PR' or 'update PR workflows'.

Independent GitHub snapshot · Automated classification · Original documentation governs