Finish PR

Bring the pull request attached to the current branch to a genuinely ready state.

Requires Git 2.38+, GitHub CLI (gh) authenticated for the repository, and PowerShell 7 (pwsh) for bundled helpers.

Definition of done

Finish only when all of these are true for the current PR HEAD:

• GitHub and a local merge probe show no merge conflicts.
• No CI check is failing. Pending checks may still be running, but never describe the PR as fully ready while a required check is pending.
• Every unresolved review thread is in one of these states:
  • its latest unaddressed feedback has been actioned and the agent has replied with the result; or
  • the latest relevant comment is the agent's response and no reviewer has replied afterwards, so the thread is awaiting review and needs no duplicate work.
• No reply created by this run remains in a pending GitHub review.
• No review thread's resolution state was changed by this run.
• The exact current HEAD has a successful completed Gitar check with an Approved dashboard verdict — when Gitar is running for this repository (same detection rule as PR Agent below: a Gitar check or dashboard comment anywhere on the pull request). When Gitar is not running, this rule does not apply.
• If PR Agent is running for this repository, the exact current HEAD also carries a successful completed PR Agent check run or a PR Agent commit status with state success, with no active PR Agent review signal. See the PR Agent section below for detection and state semantics.