Skip to content

Add devbox setup for local development - #173

Merged
therealvio merged 2 commits into
masterfrom
add-devbox-setup
Sep 3, 2026
Merged

Add devbox setup for local development#173
therealvio merged 2 commits into
masterfrom
add-devbox-setup

Conversation

@FelicityMatt

@FelicityMatt FelicityMatt commented Aug 28, 2026

Copy link
Copy Markdown
Contributor

Purpose

Sets devbox up for local dev tooling — pinned packages and .envrc for direnv. This is also a prerequisite for running any Concierge agent workflows against this repo.

Summary

Adds basic devbox setup, aligned with the dev-env-devbox-setup-2 skill:

  • devbox.json/devbox.lock — pinned go@1.26.4 and golangci-lint@2.12.2, matching the existing .tool-versions file so local dev stays on the same versions CI already uses
  • CGO_ENABLED=0 set explicitly (this is a pure Go CLI with no cgo usage; devbox/nix can otherwise silently enable cgo via an available C toolchain)
  • .envrc for direnv

No check/verify/setup scripts or README changes — out of scope for this basic-setup pass. There's also nothing for a setup script to install beyond what go build/go test already fetch on their own.

Scope: local-development only — no CI pipeline, deployed image, or runtime config changes.

Test plan

  • go version under devbox reports go1.26.4
  • CGO_ENABLED=0 present in the devbox env
  • go build and go test ./... pass under devbox

Bootstraps devbox with pinned go and golangci-lint versions matching
.tool-versions, plus devbox run check/verify scripts mirroring CI.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@pip-the-concierge

pip-the-concierge Bot commented Aug 28, 2026

Copy link
Copy Markdown

🛎️ Concierge

  • PR Review — AI-powered code review — ✅ Complete

    Run #13763 — ✅ 6m 15s
    Metric Value
    Duration 6m 15s
    Model Opus
    Turns 26
    Tokens 53,608

@pip-the-concierge-via-chinmina pip-the-concierge-via-chinmina Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overview

This PR adds devbox configuration for local development tooling to parameter-store-exec — pinned packages, shell scripts (check/verify), and direnv integration. The changes are clean and well-considered: version pinning matches .tool-versions, the verify script mirrors CI exactly, and the lock file covers all four supported architectures. No runtime code, CI pipelines, or deployed artifacts are touched.

Issues

The devbox setup is missing a process-compose.yaml file and CI verification of devbox services up, both required by the current Development Environments standard — even for non-runnable services. The README also links to Confluence for devbox setup instructions, which the README File standard prohibits.

For reviewers

Entry point: Start at devbox.json -- it is the core of this PR (package pins and script definitions). Everything else flows from it.

Key questions:

  • Do the pinned versions (go@1.26.4, golangci-lint@2.12.2) still match what .tool-versions and CI declare? A drift here means devbox run verify would pass locally but CI could fail.
  • Is the --timeout=2m on golangci-lint run aligned with what CI uses, or should it reference a shared variable/Makefile target instead of duplicating the flag?

1 Low-signal findings hidden

click to expand
  • README.md: Section heading "## Local development" doesn't match standard template heading "## Developer Ops" — pre-existing README structure gap; heading name not mandated by standard

generated using the pr-review workflow in 26 turns
give feedback with reactions 👍 👎

Comment thread devbox.json
Comment thread README.md Outdated
Scope this down to basic setup only: drop check/verify scripts and the
README section (both out of scope for that skill), stop gitignoring
.devbox/ (devbox already ignores it), and set CGO_ENABLED=0 explicitly
since this is a pure Go CLI with no cgo usage.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@elliotthilaire-ca
elliotthilaire-ca marked this pull request as ready for review September 3, 2026 01:03
@therealvio
therealvio merged commit ed975d0 into master Sep 3, 2026
3 checks passed
@therealvio
therealvio deleted the add-devbox-setup branch September 3, 2026 05:19
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.

3 participants