From 2859f2bafcb2165b2dd4474295682128be56f026 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 22 Sep 2024 12:51:11 +0200
Subject: [PATCH] try to give the CI job permission to create PRs

---
 src/tools/miri/.github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index 22c833a5488..b9441236bcd 100644
--- a/src/tools/miri/.github/workflows/ci.yml
+++ b/src/tools/miri/.github/workflows/ci.yml
@@ -12,6 +12,9 @@ on:
   schedule:
     - cron: '44 4 * * *' # At 4:44 UTC every day.
 
+permissions:
+  contents: write
+
 defaults:
   run:
     shell: bash