Use permissions instead of token

Signed-off-by: Chihurumnaya Ibiam <[email protected]>
sugarlabs · Jul 19, 2024 · 27c383d · 27c383d
1 parent 282be91
commit 27c383d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -48,8 +48,8 @@ jobs:
         # build the documentation, but only deploy them when the PR
         # gets merged
         if: github.ref == 'refs/heads/master'
-        env:
-          GH_TOKEN: ${{ github.token }}
+        permissions:
+          contents: write
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: deploy  # The folder the action should deploy.