Skip to content

demo: java-hotpatch polish, React Native crash demo, Slidev deck#12

Merged
waltoss merged 1 commit intomainfrom
demo/slides-and-polish
Apr 24, 2026
Merged

demo: java-hotpatch polish, React Native crash demo, Slidev deck#12
waltoss merged 1 commit intomainfrom
demo/slides-and-polish

Conversation

@waltoss
Copy link
Copy Markdown
Contributor

@waltoss waltoss commented Apr 24, 2026

Summary

  • java-hotpatch polish: iterative improvements on the existing demo (record script, asciinema cast, skills lockfile for reproducibility). PricingController.java kept with the bug — that's what the hotpatch demo teaches you to find.
  • Slidev deck (demo/slides/) used at the Dev With AI meetup.
  • GitHub Pages site deploy that preserves the current landing page and adds the slides under /slides/.

Current site preserved

What's currently deployed at https://theodo-group.github.io/debug-that/ is the landing page from docs/index.html (hero, install bar, demo gif, features, runtimes, commands, architecture). The legacy Pages config points at main:/docs.

This PR keeps the landing page unchanged and adds the slides under a subpath:

  • / → existing landing (unchanged)
  • /slides/ → Slidev deck
  • Nav + footer in docs/index.html get a new "Slides" link

How it works

The workflow at .github/workflows/deploy-site.yml assembles one artifact:

_site/
├── index.html       ← from docs/
├── demo.gif, *.gif  ← from docs/
└── slides/          ← slidev build --base /debug-that/slides/

Both served from the same domain. Triggers: push to main under docs/** or demo/slides/**, plus workflow_dispatch.

⚠️ One-time setting change required

The current Pages source is "Branch: main / /docs" (legacy mode). This workflow needs "Source: GitHub Actions". Switch it once at:

Settings → Pages → Source: GitHub Actions

After that, this workflow owns every deploy. Without flipping the setting, the workflow runs but deploy-pages fails.

To verify after merge

  1. Flip the Pages source setting above.
  2. Merge this PR (or workflow_dispatch from the Actions tab before merging to preview).
  3. Workflow runs → Deploy site to GitHub Pages job shows a page_url.
  4. Landing: https://theodo-group.github.io/debug-that/ (unchanged, now has "Slides" nav link)
  5. Slides: https://theodo-group.github.io/debug-that/slides/

Asset hosting

The Slidev deck references one 32 MB video (demo-java.mp4). Rather than bloat git history with binary media, it's uploaded to the demo-assets-v1 release and referenced by URL from slides.md. Smaller PNGs/SVGs/GIFs (~7 MB total) are committed directly — fine for git.

.gitignore additions

  • demo/**/target/ — Maven build output
  • demo/**/.agents/, demo/**/.claude/ — local Claude Code tool caches
  • demo/slides/public/demo-java.mp4 — hosted on GH Releases instead

Test plan

  • slides.md references the release asset URL
  • demo-assets-v1 release exists with demo-java.mp4 attached
  • Pages workflow assembles docs/ + built slides into one artifact
  • Nav + footer in docs/index.html link to ./slides/
  • PricingController.java kept buggy (demo intent)
  • After merge + Pages source flip: landing unchanged, slides live at /slides/

🤖 Generated with Claude Code

@waltoss waltoss force-pushed the demo/slides-and-polish branch from 05d32fe to 881ad2c Compare April 24, 2026 10:36
- **java-hotpatch/record.sh** + asciinema cast + skills lockfile: iterative
  polish on the existing demo (continues 135e733 / a5ef031 / 1509d82) for
  reproducibility. `PricingController.java` is intentionally left with the
  VAT-on-discount bug — that's what the demo teaches.

- **Slidev deck** (`demo/slides/`) used at the Dev With AI meetup. Media
  committed except `demo-java.mp4` (32 MB), which is uploaded to the
  [demo-assets-v1](https://github.com/theodo-group/debug-that/releases/tag/demo-assets-v1)
  release and referenced by URL from `slides.md`.

- **GitHub Pages site deploy** (`.github/workflows/deploy-site.yml`):
  assembles a single artifact combining the existing landing page in
  `docs/` with the Slidev build under `/slides/`. Triggered by push to
  `main` under `docs/**` or `demo/slides/**`, plus manual dispatch.

  Landing page preserved — the existing Pages deploy at
  https://theodo-group.github.io/debug-that/ keeps working, just gets a
  new nav link to https://theodo-group.github.io/debug-that/slides/.

  **One-time repo setting change required**: switch Pages source from
  "Branch: main / /docs" to "GitHub Actions" (Settings → Pages → Source:
  GitHub Actions). After that, this workflow owns every deploy.

- `docs/index.html`: added "Slides" link to the top nav and footer.

.gitignore additions:
- `demo/**/target/`, `demo/**/.agents/`, `demo/**/.claude/` (build output
  + local tooling)
- `demo/slides/public/demo-java.mp4` (hosted on GH Releases)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@waltoss waltoss force-pushed the demo/slides-and-polish branch from 881ad2c to 7858d60 Compare April 24, 2026 10:58
@waltoss waltoss merged commit a7bbc6b into main Apr 24, 2026
5 checks passed
@waltoss waltoss deleted the demo/slides-and-polish branch April 24, 2026 11:00
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