pr-merge-recompile - PR Merge and Recompile Workflows
Checkout a PR, merge origin/main, regenerate agentic workflows, and push changes
Tags
Updated: 2026-02-13Capabilities
Typical Inputs
Typical Outputs
What this skill does
- checkout PR branch
- fetch origin/main
- merge origin/main
- regenerate agentic workflows
- commit changes
- push changes
Inputs
- PR URL
- repository
- PR number
Outputs
- updated PR
- workflow lock files
- git commit
- git push
Requirements
- gh CLI authentication
- make recompile target
- git repository
