AgentSkillsCN

github

在此仓库中处理GitHub：创建PR、CI检查和gh CLI操作。

SKILL.md
--- frontmatter
name: github
description: "Work with GitHub in this repo: PR creation, CI checks, and gh CLI operations."

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:

code
fix(bumba): stabilize workflows

Example:

code
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