Skip to content

chore: add gh and the Claude Code extension to the devcontainer - #23

Merged
michvllni merged 1 commit into
masterfrom
chore/devcontainer-tooling
Sep 1, 2026
Merged

michvllni merged 1 commit into
masterfrom
chore/devcontainer-tooling

Conversation

@michvllni

Copy link
Copy Markdown
Collaborator

Development environment only — nothing in the app or the build depends on either.

  • gh in the image, which is what opens pull requests from inside the container.
  • Anthropic.claude-code in the devcontainer extension list.
  • Restores the trailing newline on devcontainer.json, which an editor had stripped.

Heads-up: CI will fail here until devkitPro is reachable

pr.yml rebuilds the image from scratch whenever a PR touches docker/*Dockerfile, rather than pulling the published one — deliberately, so a PR changing the image definition can't silently test against the old toolchain.

A scratch build runs dkp-pacman -Sy, and pkg.devkitpro.org is currently behind a Cloudflare block returning HTTP 403 on dkp-linux.db / dkp-libs.db. Reproducible outside CI:

$ curl -so /dev/null -w '%{http_code}\n' https://pkg.devkitpro.org/dkp-linux.db
403
$ curl -s https://pkg.devkitpro.org/dkp-linux.db | grep -o '<title>[^<]*</title>'
<title>Attention Required! | Cloudflare</title>

Nothing in this PR causes that — it just takes the code path that reaches for it. Re-run the Build job once devkitPro's mirror is serving again.

Split out of #22 for exactly this reason: that PR carries the app changes and shouldn't be blocked on a third-party outage.

🤖 Generated with Claude Code

The GitHub CLI is what opens pull requests from inside the container,
and the extension is how the agent runs in the IDE there.  Both are
development environment only — nothing in the app or the build depends
on either.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@michvllni
michvllni merged commit 5c49b44 into master Sep 1, 2026
5 checks passed
@michvllni
michvllni deleted the chore/devcontainer-tooling branch September 1, 2026 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant