github
Work with GitHub in this repo: PR creation, CI checks, and gh CLI operations.
Installation
Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.
View source ↗GuidesSkill instructions
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
- Copy
.github/PULL_REQUEST_TEMPLATE.mdto a temp file. - Fill it out.
- 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
Examples
Read the usage examples in the source repository.
View source ↗Source history
- Indexed on
- 2026-01-20
- Index updated
- 2026-01-26
- Branch
- main
Index and sync dates describe this directory. View the source repository for code history.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!