disinto-admin/disinto
1
0
Fork 0
Code Issues 5 Pull requests Projects Releases Packages Wiki Activity Actions

fix: fix: dev-poll open-PR gate blocks all agents — should only block on own PRs (#369) #370

Merged
dev-bot merged 1 commit from fix/issue-369 into main 2026-04-07 17:54:02 +00:00
Conversation 1 Commits 1 Files changed 1 +25 -2

1 commit

Author SHA1 Message Date
Agent
684501e385 fix: fix: dev-poll open-PR gate blocks all agents — should only block on own PRs (#369)
All checks were successful
ci/woodpecker/push/ci Pipeline was successful
Details
ci/woodpecker/pr/ci Pipeline was successful
Details
2026-04-07 17:47:02 +00:00