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

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.

Merge branch 'ondrej/remove-useless-pr-agent' into 'main'

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

d61fef7c10e0e4a2158ad8a3ceacfc48ee5a4f96