github

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

Safety Notice

This listing is imported from skills.sh public index metadata. Review upstream SKILL.md and repository scripts before running.

Copy this and send it to your AI assistant to learn

Install skill "github" with this command: npx skills add proompteng/lab/proompteng-lab-github

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

Source Transparency

This detail page is rendered from real SKILL.md content. Trust labels are metadata-based hints, not a safety guarantee.

Related Skills

Related by shared tags or category signals.

Coding

github-issue

No summary provided by upstream source.

Repository SourceNeeds Review
General

temporal

No summary provided by upstream source.

Repository SourceNeeds Review
General

repo-map

No summary provided by upstream source.

Repository SourceNeeds Review
General

memories

No summary provided by upstream source.

Repository SourceNeeds Review