github
Work with GitHub in this repo: PR creation, CI checks, and gh CLI operations.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
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
Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-20
- Mise à jour de l’index
- 2026-01-26
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!