From 6068e39e754a108306aec0f5f4ec9cfd824fdb64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan-Oliver=20Opdenh=C3=B6vel?=
 <Jan-Oliver.Opdenhovel@amd.com>
Date: Thu, 18 Jun 2026 14:15:53 +0100
Subject: [PATCH] Giving the PR import workflow the permission to write the
 contents of the repo

The newly added workflow to import a PR into the repository fails when pushing new commits due to insufficient permissions. This fix should give it these permissions.
---
 .github/workflows/import-pr.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/import-pr.yml b/.github/workflows/import-pr.yml
index df130800..5da59954 100644
--- a/.github/workflows/import-pr.yml
+++ b/.github/workflows/import-pr.yml
@@ -7,6 +7,9 @@ on:
         required: true
         type: int
 
+permissions:
+  contents: write
+
 jobs:
   import_pr:
     runs-on: ubuntu-latest
@@ -18,4 +21,4 @@ jobs:
           git config user.name "github-actions[bot]"
           git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
           gh pr checkout -b "pr/${{inputs.pr_number}}" ${{inputs.pr_number}}
-          git push "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" "pr/${{inputs.pr_number}}"
\ No newline at end of file
+          git push "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" "pr/${{inputs.pr_number}}"