diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-21 04:30:47 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-21 04:30:47 -0500 |
| commit | f99aee1aa31f621a804e0c98ed4f84260da1b3eb (patch) | |
| tree | ff1f9b4a3c1d11bc0b929843c419a07d84e7d1d5 /Omni/Agent/setup-worker.sh | |
| parent | 04c9043b89be694d8e74cf9e11b8648488416aee (diff) | |
infra: improve worker workflow (attribution, cleaner history)
Diffstat (limited to 'Omni/Agent/setup-worker.sh')
| -rwxr-xr-x | Omni/Agent/setup-worker.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Omni/Agent/setup-worker.sh b/Omni/Agent/setup-worker.sh index 28c29b1..42b7fc9 100755 --- a/Omni/Agent/setup-worker.sh +++ b/Omni/Agent/setup-worker.sh @@ -22,3 +22,10 @@ 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" |
