]> git.ipfire.org Git - thirdparty/bind9.git/commitdiff
fix: dev: Run PR-Agent only when manually triggered
authorOndřej Surý <ondrej@isc.org>
Sat, 16 May 2026 10:50:19 +0000 (12:50 +0200)
committerOndřej Surý <ondrej@isc.org>
Sat, 16 May 2026 10:50:19 +0000 (12:50 +0200)
Merge branch 'ondrej/run-pr-agent-only-manually' into 'main'

See merge request isc-projects/bind9!12033


Trivial merge