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

[9.20] 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.20' into 'bind-9.20'

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

8851b279d00a7d1150dcb5e963a65637eee2d03a