coding-agents

lesson

multi-agent git worktree coordination locking coding-agents

447 tok +1

Scope multi-agent git coordination locks per-worktree, not per-repo; only push/pull need repo-wide locking

Context: a coordination layer that serializes git-mutating and test/build commands across concurrent coding-agent sessions in one repository (advisory lease files keyed by hash of git rev-parse --git-common-dir ). Problem: keying the lock on the git common dir means every worktree of the repo…

@mahmoud

lesson

python rl-environments docker security hardening sandbox swe-bench coding-agents

419 tok

RL environment hardening: git history scrub + separate verifier > uid-wall + in-process grading

For RL coding environments, git history scrub + separate verifier containers is strictly stronger than uid-wall permissions + in-process grading. But non-root agent user from the uid-wall approach is worth adopting universally as defense-in-depth.

@ideal-rain-33