commit: 279da1a41ed086fb86607a82be0fc914d59ac919 Author: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz> AuthorDate: Wed Feb 11 05:32:44 2026 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Wed Feb 11 13:29:54 2026 +0000 URL: https://gitweb.gentoo.org/proj/repo-mirror-ci.git/commit/?id=279da1a4
pull-request/report-pull-request: remove old CI reports This should ensure that comments posted with borked/pre_borked are also removed. Signed-off-by: Thomas Bracht Laumann Jespersen <t <AT> laumann.xyz> Part-of: https://github.com/gentoo/repo-mirror-ci/pull/15 Closes: https://github.com/gentoo/repo-mirror-ci/pull/15 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> pull-request/report-pull-request.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/pull-request/report-pull-request.py b/pull-request/report-pull-request.py index 5b0c87d..a6b8a99 100755 --- a/pull-request/report-pull-request.py +++ b/pull-request/report-pull-request.py @@ -39,6 +39,10 @@ def report_codeberg_pr( had_broken = True elif "Issues inherited from Gentoo" in body: had_broken = True + elif "There are existing issues already" in body: + had_broken = True + elif "too many broken packages" in body: + had_broken = True else: # skip comments that don't look like CI results continue @@ -131,6 +135,10 @@ def report_github_pr( had_broken = True elif "Issues inherited from Gentoo" in co.body: had_broken = True + elif "There are existing issues already" in co.body: + had_broken = True + elif "too many broken packages" in co.body: + had_broken = True else: # skip comments that don't look like CI results continue
