Update PR

The request authorizes the repository's declared PR gate, relevant commits, a plain push to the current PR branch, and metadata reconciliation. It does not authorize unrelated changes.

When the current PR belongs to a native GitHub stack, read ../git-workflow/references/github-stacks.md.