Merge PR

Overview

Merge a prepared PR via gh pr merge --squash and clean up.

Inputs

• Ask for PR number or URL if not provided.

Safety

• Use gh pr merge --squash as the only path to main.
• Do not run git push at all during merge.
• Do not modify code.

Pre-merge Checks