diff options
| author | Ben Sima <ben@bensima.com> | 2025-11-22 13:55:28 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-11-22 13:55:28 -0500 |
| commit | 10a2b488519c061eb86c9147cc96b38c82f51ef8 (patch) | |
| tree | 14abeeab9654353259e1baaf8cf462322c58d659 /Omni/Agent/setup-worker.sh | |
| parent | 8697fd8a11a1cf368db1e6c05afddf87906e8de3 (diff) | |
| parent | 960f7226139abd5408454e5285ead2024e0da643 (diff) | |
task: complete t-rWcqsDZFM.2 (Merge)
Amp-Thread-ID:
https://ampcode.com/threads/T-ca3b086b-5a85-422a-b13d-256784c04221
Co-authored-by: Amp <amp@ampcode.com>
Diffstat (limited to 'Omni/Agent/setup-worker.sh')
| -rwxr-xr-x | Omni/Agent/setup-worker.sh | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/Omni/Agent/setup-worker.sh b/Omni/Agent/setup-worker.sh deleted file mode 100755 index 42b7fc9..0000000 --- a/Omni/Agent/setup-worker.sh +++ /dev/null @@ -1,31 +0,0 @@ -#!/usr/bin/env bash -set -e - -if [ -z "$1" ]; then - echo "Usage: $0 <worker-name>" - echo "Example: $0 omni-worker-1" - exit 1 -fi - -WORKER_NAME="$1" -REPO_ROOT="$(git rev-parse --show-toplevel)" -WORKTREE_PATH="$REPO_ROOT/../$WORKER_NAME" - -# We create a new branch for the worker based on 'live' -# This avoids the "branch already checked out" error if 'live' is checked out elsewhere -BRANCH_NAME="${WORKER_NAME}" -echo "Creating worktree '$WORKTREE_PATH' on branch '$BRANCH_NAME' (from live)..." -git worktree add -b "$BRANCH_NAME" "$WORKTREE_PATH" live - -# Copy .envrc.local if it exists (user-specific config) -if [ -f "$REPO_ROOT/.envrc.local" ]; then - echo "Copying .envrc.local..." - cp "$REPO_ROOT/.envrc.local" "$WORKTREE_PATH/" -fi - -# Configure git identity for the worker -echo "Configuring git identity for worker..." -git -C "$WORKTREE_PATH" config user.name "Omni Worker" -git -C "$WORKTREE_PATH" config user.email "bot@omni.agent" - -echo "Worker setup complete at $WORKTREE_PATH" |
