TODO: Auto-deploy westside-playground on merge

todo-playground-auto-deploy Todo

open todo

Project

What

The westside-playground repo has no CI/CD pipeline. Changes merged to main are NOT automatically visible at playground.tail5b443a.ts.net/westside/. The playground is served by an nginx pod with a hostPath volume pointing to ~/westside-playground on archbox. After every merge, someone must manually run git pull origin main on the host.

Current Workaround

Manual cd ~/westside-playground && git pull origin main after each merge.

Fix Options

Option A: Add a Woodpecker CI pipeline with a simple git pull step on the host (via SSH or kubectl exec into the nginx pod)
Option B: Add a Forgejo webhook that triggers a pull on push to main
Option C: Use a gitSync sidecar container in the nginx pod that watches the repo

Priority

Low — the playground is a prototype repo. Manual pull works. But it's a gap in the deployment model and will trip up anyone who forgets.

Discovered

2026-03-16 during Phase 11 work. PR #6 merged but required manual pull to go live.