]> git.ipfire.org Git - thirdparty/bind9.git/commitdiff
rem: dev: Remove useless PR-Agent jobs
authorOndřej Surý <ondrej@isc.org>
Thu, 28 May 2026 07:50:56 +0000 (09:50 +0200)
committerOndřej Surý <ondrej@isc.org>
Thu, 28 May 2026 07:50:56 +0000 (09:50 +0200)
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


Trivial merge