The orchestrator needs to: 1. Use full path to pi-orchestrate.sh: /home/ava/omni/Omni/Ide/pi-orchestrate.sh 2. Set working directory to /home/ava/omni 3. Push to origin after commit (pi-review.sh needs update)
Change scriptPath to absolute path or use Ava's omni dir.
Add working directory to process creation:
let createProc =
(Process.proc "bash" args)
{ Process.std_out = Process.CreatePipe,
Process.std_err = Process.CreatePipe,
Process.cwd = Just "/home/ava/omni"
}
After git commit, add:
git push origin HEAD
This ensures Ava's commits get pushed to the shared repo.