bootstrap-qcow2-create-pr
Create or update GitHub pull requests for bootstrap-qcow2 using the in-repo Crystal helper Bootstrap::CodexUtils.create_pull_request (no gh/CLI dependencies). Use when automating PR creation from inside the container or sysroot namespace.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
Create a PR using Bootstrap::CodexUtils
Use the in-repo helper to create PRs via the GitHub REST API without relying on gh.
Preconditions
- You have a branch pushed to
origin(e.g.codex/my-branch). - A GitHub token exists in
/work/.git-credentials(or pass an explicit path tocreate_pull_request).
Create the PR
From the repo root (/work/bootstrap-qcow2 when live-bound):
./bin/bq2 github-pr-create --title "PR title" --head codex/my-branch --body-file pr-body.md
Notes
- If the API call fails, the helper raises with the HTTP status/body to copy into debugging output.
- Updating an existing PR body/title requires a PATCH request; reuse the same token/headers pattern (see
src/codex_utils.cr). - Pass
--repo owner/namewhen running outside a git checkout (e.g., staged snapshots) and inference fails. - Defaults to
/work/.git-credentialswhen present (override with--credentials).
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!