diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-09 05:08:46 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-09 05:08:53 +0000 |
| commit | 5c8562460fc5b78372a1cfdb400e0cb1f51875cd (patch) | |
| tree | f94a0ca9939b98eb472728c0bca6da230b5516cc /internal/cli/http.go | |
| parent | 7c7dd2bc352c91963ece06f3176a032ee7ab462f (diff) | |
executor: fix sandbox teardown — remove working copy pull, retry push on concurrent rejection
- Remove git pull into project_dir: working copy is the developer workspace
and should be pulled manually; www-data can't write to root-owned .git/objects
- On non-fast-forward push rejection (concurrent task pushed first), fetch and
rebase then retry once instead of failing the entire task
Diffstat (limited to 'internal/cli/http.go')
0 files changed, 0 insertions, 0 deletions