Agent skill

github

Work with GitHub in this repo: PR creation, CI checks, and gh CLI operations.

View SKILL.md on GitHub Repository
Stars 7
Forks 0

Install this agent skill to your Project

npx add-skill https://github.com/proompteng/lab/tree/main/skills/github

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.
bash
cp .github/PULL_REQUEST_TEMPLATE.md /tmp/pr.md
$EDITOR /tmp/pr.md
gh pr create --body-file /tmp/pr.md

Check CI

bash
gh pr checks 2259
gh run view 123456789 --log

Merge

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

bash
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

Didn't find tool you were looking for?

Be as detailed as possible for better results