From 915513753aea689f73d1300acc069ac985be3a0b Mon Sep 17 00:00:00 2001
From: Dario Nieuwenhuis <dirbaio@dirbaio.net>
Date: Thu, 24 Jul 2025 23:30:36 +0200
Subject: Add dedup to book job.

---
 .github/ci/book.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/ci/book.sh b/.github/ci/book.sh
index 285cdc8fa..2466f53f5 100755
--- a/.github/ci/book.sh
+++ b/.github/ci/book.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 ## on push branch=main
+## priority -9
+## dedup dequeue
 
 set -euxo pipefail
 
-- 
cgit