github-pr-workflow

Beschreibung

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

Relevanz für unsere Projekte

Kompletter PR-Lebenszyklus: Branch, Commits, PR öffnen, CI abwarten, Mergen, Aufräumen.

Ablauf

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