github

Installation
SKILL.md

GitHub

Overview

Use the GitHub CLI to create PRs, review checks, and inspect CI logs. Follow the repo conventions for commits and PR titles.

Commit conventions

Use Conventional Commits:

fix(bumba): stabilize workflows

Example:

fix(bumba): stabilize workflows

Create a PR

  1. Copy .github/PULL_REQUEST_TEMPLATE.md to a temp file.
  2. Fill it out.
  3. Create the PR with gh pr create.
cp .github/PULL_REQUEST_TEMPLATE.md /tmp/pr.md
$EDITOR /tmp/pr.md
gh pr create --body-file /tmp/pr.md

Check CI

gh pr checks 2259
gh run view 123456789 --log

Merge

Use squash merge, do not delete the branch via CLI:

gh pr merge 2202 --squash -R proompteng/lab

Resources

  • Reference: references/github-pr-guide.md
  • Helper: scripts/create-pr.sh
  • Sample PR body: assets/pr-body-template.md
Related skills
Installs
70
Repository
proompteng/lab
GitHub Stars
7
First Seen
Jan 24, 2026