From f8ee5033a77ffae2d894b11278a6cd6cce4ee861 Mon Sep 17 00:00:00 2001
From: abhro <5664668+abhro@users.noreply.github.com>
Date: Fri, 16 May 2025 11:23:48 -0400
Subject: [PATCH] Give CompatHelper workflow explicit permissions

---
 .github/workflows/CompatHelper.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index 901ea33..b48c0b9 100644
--- a/.github/workflows/CompatHelper.yml
+++ b/.github/workflows/CompatHelper.yml
@@ -3,29 +3,32 @@ on:
   schedule:
     - cron: 59 14 * * *
   workflow_dispatch:
+permissions:
+  contents: write
+  pull-requests: write
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
       - name: "Add the General registry via Git"
+        shell: julia --color=yes {0}
         run: |
           import Pkg
           ENV["JULIA_PKG_SERVER"] = ""
           Pkg.Registry.add("General")
-        shell: julia --color=yes {0}
       - name: "Install CompatHelper"
+        shell: julia --color=yes {0}
         run: |
           import Pkg
           name = "CompatHelper"
           uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
           version = "3"
           Pkg.add(; name, uuid, version)
-        shell: julia --color=yes {0}
       - name: "Run CompatHelper"
+        shell: julia --color=yes {0}
         run: |
           import CompatHelper
           CompatHelper.main()
-        shell: julia --color=yes {0}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}