ops: jus devcontainer setup; fly.io deploy

✅ merged · #1 · justice-bac/mike ← justice-bac/mike · opened 2mo ago by juleskuehn · merged 2mo ago by juleskuehn · self · +3,264-1,318 across 31 files · ↗ on GitHub

Our analysis

Wire up devcontainer and Fly.io deployment — read the full analysis →

Upstream Sync into jus-setup Branch — read the full analysis →

Think the analysis missed something the PR description covers?

Commits in this PR (10)

SHA Subject Author Date
b1ff2d73 fixes to get it to run in devcontainer Jules Kuehn 2026-05-12 ↗ GitHub
d877fdc7 fix certs and debug storage issues Jules Kuehn 2026-05-12 ↗ GitHub
f39f1752 Sync deployment and project page fixes willchen96 2026-05-13 ↗ GitHub
2e8eafc7 Merge pull request #64 from willchen96/project-page-deployment-fixes cosimoastrada 2026-05-13 ↗ GitHub
Sync deployment and project page fixes
31556b3b devcontainer fixes Jules Kuehn 2026-05-12 ↗ GitHub
eaa58c9b remove 'extra' changes Jules Kuehn 2026-05-13 ↗ GitHub
b67826c0 remove diagnostic script Jules Kuehn 2026-05-13 ↗ GitHub
1b4c660d Merge branch 'willchen96:main' into jus-setup Jules Kuehn 2026-05-13 ↗ GitHub
0ec5fd61 fly.io deployment modifications Jules Kuehn 2026-05-13 ↗ GitHub
aa97c8ef deploy to fly.io Jules Kuehn 2026-05-14 ↗ GitHub

Capture this PR into my fork

Download a Markdown prompt that tells Claude how to port every commit in this PR into your working tree. Run it via claude -p < capture-pull-1.md from inside the repo you want the changes in.

⬇ Download capture-pull-1.md