# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1786347575 -7200
# Node ID c9cad465bb7b7e90468171cce86f45204960f55d
# Parent  24fc5b2b26e0e94b6e77f03cd7a976778c05c2df
fix

diff -r 24fc5b2b26e0 -r c9cad465bb7b .github/workflows/mirror.yml
--- a/.github/workflows/mirror.yml	Mon Aug 10 09:38:08 2026 +0200
+++ b/.github/workflows/mirror.yml	Mon Aug 10 09:39:35 2026 +0200
@@ -16,7 +16,6 @@
 
 permissions:
   contents: write  # GITHUB_TOKEN is read-only by default; this grants push access
-  workflows: write # Seems necessary because of the test "if" in "mirror"
 
 jobs:
   mirror: