require a release token

flowr-analysis · Oct 4, 2024 · 0481258 · 0481258
1 parent d17f31b
commit 0481258
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/extensions.yml b/.github/workflows/extensions.yml
@@ -7,6 +7,8 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.RELEASE_TOKEN }}
       - name: Configure git user
         run: |
           git config --local user.email "action@github.com"