Push

Push current branch changes to origin and manage PRs.

Prerequisites

• gh CLI is installed and gh auth status succeeds

Steps

1. Identify current branch and confirm remote state
2. Run local validation: uv run ruff check . && uv run ruff format . --check
3. Push branch: git push -u origin HEAD
4. If rejected, use pull skill to merge, then retry
5. Ensure PR exists - create or update as needed
6. Write clear PR title describing the change
7. Reply with PR URL

Commands

branch=$(git branch --show-current)
uv run ruff check . && uv run ruff format . --check
git push -u origin HEAD
gh pr create --title "Your title here"
gh pr view --json url -q .url