From: Ondřej Surý <ondrej@isc.org>
Date: Thu, 28 May 2026 09:28:34 +0000 (+0200)
Subject: [9.18] rem: dev: Remove useless PR-Agent jobs
X-Git-Url: http://git.ipfire.org/gitweb/index.cgi?a=commitdiff_plain;h=d329d255489b57b39ccde20e0242cd4a8979994b;p=thirdparty%2Fbind9.git

[9.18] rem: dev: Remove useless PR-Agent jobs

The experiment was a failure, the PR-Agent doesn't send a full context
to the AI Agents and the results are abysmal because of that.

Backport of MR !12119

Merge branch 'backport-ondrej/remove-useless-pr-agent-9.18' into 'bind-9.18'

See merge request isc-projects/bind9!12121
---

d329d255489b57b39ccde20e0242cd4a8979994b