Commit graph

2 commits

Author SHA1 Message Date
devin-ai-integration[bot]
1953603043
feat(ci): close open pull requests superseded by a merged fix on their linked issue (#42609)
* feat(ci): close open pull requests superseded by a merged fix on their linked issue

* fix(ci): replace the mixed-anchor release-line regex with a plain predicate

* fix(ci): recover a half-done close, page linked pull requests, trust only the workflow's marker

* fix(ci): close superseded pull requests whatever closed the issue and fail the job when the script throws

---------

Co-authored-by: mateo-berri <277851410+mateo-berri@users.noreply.github.com>
2026-09-22 18:24:35 -07:00
ryan-crabbe-berri
a20698f802 ci(issues): comment which release carries the fix when a pull request closes an issue 2026-09-18 17:37:02 -07:00