diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-08 22:51:55 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-08 22:51:55 +0000 |
| commit | cfbcc7b921c48fd2eaebcd814b49f3b8a02d7823 (patch) | |
| tree | b1243e37edbb39e13b5d87489ce33c1c33635b15 /scripts/start-next-task | |
| parent | f135ab89ce6710a4f20049e6d0d8e914d8e2e402 (diff) | |
executor: push sandbox commits via bare repo, pull into working copy
Instead of git fetch/merge INTO the working copy (which fails with
mixed-owner .git/objects), clone FROM a bare repo, push BACK to it,
then pull into the working copy:
sandbox clone ← bare repo (local remote or origin)
agent commits in sandbox
git push sandbox → bare repo
git pull bare repo → working copy
sandboxCloneSource() prefers a remote named "local" (local bare repo),
then "origin", then falls back to the working copy path.
Set up: git remote add local /site/git.terst.org/repos/claudomator.git
The bare repo was created with: git clone --bare /workspace/claudomator
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Diffstat (limited to 'scripts/start-next-task')
0 files changed, 0 insertions, 0 deletions