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
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
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).
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!