github-pr-workflow

Description

GitHub PR lifecycle: branch, commit, open, CI, merge.

Relevance to Our Projects

Complete PR lifecycle: branch, commits, open PR, wait for CI, merge, cleanup.

Pipeline

SKILL.md Preview

# GitHub Pull Request Workflow

Complete guide for managing the PR lifecycle. Each section shows the `gh` way first, then the `git` + `curl` fallback for machines without `gh`.

## Prerequisites

- Authenticated with GitHub (see `github-auth` skill)
- Inside a git repository with a GitHub remote

### Quick Auth Detection

```bash
# Determine which method to use throughout this workflow
if command -v gh &>/dev/null && gh auth status &>/dev/null; then
  AUTH="gh"
else
  AUTH="git"
  # Ensure we ha