disinto/dev
openhands 98210cc302 fix: dep check — trust closed state, drop merged-PR search
The merged-PR search was over-engineered and caused false negatives
(couldn't match PR to issue when title/body didn't contain #NNN).
Issue closed = dep satisfied. Factory only closes after merging.
2026-03-13 11:25:35 +00:00
..
dev-agent.sh feat: STATE.md append before merge, lives in harb repo 2026-03-13 10:27:10 +00:00
dev-poll.sh fix: dep check — trust closed state, drop merged-PR search 2026-03-13 11:25:35 +00:00