diff --git a/scripts/dev/agent.sh b/scripts/dev/agent.sh index 4501974..2047b5e 100755 --- a/scripts/dev/agent.sh +++ b/scripts/dev/agent.sh @@ -6,7 +6,7 @@ set -euo pipefail trap 'echo "agent.sh: failed at line $LINENO (exit $?)" >&2' ERR RESERVED_NAMES=(master main HEAD list merge clean new) -MAX_WORKTREES=4 +MAX_WORKTREES=6 die() { echo "ERROR: $*" >&2; exit "${2:-2}"; } prefail(){ echo "PREFLIGHT: $*" >&2; exit 1; }