openhands ad9d68e525 fix: dev-agent merge gate requires CI even for projects without CI ... Same pattern as review-poll — projects with WOODPECKER_REPO_ID=0 treat empty/unknown CI as pass for the merge gate.		2026-03-17 09:48:13 +00:00
..
dev-agent.sh	fix: dev-agent merge gate requires CI even for projects without CI	2026-03-17 09:48:13 +00:00
dev-poll.sh	fix: per-project lock and log files for dev-poll	2026-03-17 08:18:24 +00:00