Merge pull request 'fix: bug: dev-poll marks issues assigned to other agents as stale (#522)' (#526) from fix/issue-522 into main
All checks were successful
ci/woodpecker/push/ci Pipeline was successful

This commit is contained in:
dev-bot 2026-04-09 20:17:31 +00:00
commit b26c5e6400

View file

@ -479,6 +479,7 @@ if [ "$ORPHAN_COUNT" -gt 0 ]; then
fi
else
log "issue #${ISSUE_NUM} assigned to ${assignee} — their thread, not blocking"
BLOCKED_BY_INPROGRESS=true
# Issue assigned to another agent — don't block, fall through to backlog
fi
fi