Sync Production
Follow the Git workflow, production deployment, and secret-safety rules in root AGENTS.md.
- Inspect current
mainandproductionrevisions and the complete pending diff. Reuse an openmain→productionpromotion PR, or create one for the requested promotion. - Check the current PR head, required checks, conflicts, and deployment prerequisites. Merge through the PR when authorized and checks pass; resolve or report blockers within that workflow.
- Follow the resulting GitHub Actions deployments. When path filters do not trigger the required production workflow, dispatch it from
productionas specified inAGENTS.md. - Verify the deployed revision, required bindings, and affected behavior; report any incomplete verification.