disinto/dev
openhands d67b79d3ad fix: fix: dev-agent escalates when dev-poll races it to merge — should detect already-merged PR (#548)
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-22 12:24:58 +00:00
..
AGENTS.md chore: gardener housekeeping 2026-03-22 2026-03-22 12:07:31 +00:00
dev-agent.sh fix: feat: unified escalation — single PHASE:escalate path for all agents (#510) 2026-03-21 19:39:04 +00:00
dev-poll.sh fix: fix: dev-poll pre-lock should merge chore/gardener PRs without issue numbers (#539) 2026-03-22 09:12:04 +00:00
phase-handler.sh fix: fix: dev-agent escalates when dev-poll races it to merge — should detect already-merged PR (#548) 2026-03-22 12:24:58 +00:00
phase-test.sh fix: feat: unified escalation — single PHASE:escalate path for all agents (#510) 2026-03-21 19:39:04 +00:00