#!/bin/bash
set -euo pipefail
checkout=$1
proof_home=${2:-$checkout/.t3/proof}
cd "$checkout"
node apps/server/src/bin.ts project add "$checkout" --title PR-watch-demo --base-dir "$proof_home"
node apps/server/src/bin.ts thread start "$checkout" 'Watch these six pull requests for updates.' --title 'Watch six pull requests' --provider devReplay --model multi-turn --wait --json --base-dir "$proof_home"