disinto/dev
openhands a3f0f7f6f3 fix: stuck PR issue extraction — check title, body (Closes #N), log skip
PRs #684 and #710 had no issue number in branch name or title.
Now also checks PR body for 'Closes #NNN'. If still no issue found,
logs a skip (dev-agent requires an issue number to work).
2026-03-14 12:01:36 +00:00
..
dev-agent.sh fix: write_state_entry defined after call site — crashes dev-agent 2026-03-14 11:01:05 +00:00
dev-poll.sh fix: stuck PR issue extraction — check title, body (Closes #N), log skip 2026-03-14 12:01:36 +00:00