Use standard GitHub token for publishing to pages

bmuschko · Oct 25, 2023 · b74b5f1 · b74b5f1
1 parent af14f39
commit b74b5f1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/linux-build-release.yml b/.github/workflows/linux-build-release.yml
@@ -1,5 +1,7 @@
 name: Build and Release [Linux]
 on: [push, pull_request]
+permissions:
+  pages: write
 
 jobs:
   build:
@@ -65,4 +67,4 @@ jobs:
           PLUGIN_PORTAL_KEY: ${{ secrets.PLUGIN_PORTAL_KEY }}
           PLUGIN_PORTAL_SECRET: ${{ secrets.PLUGIN_PORTAL_SECRET }}
         with:
-          arguments: publishPlugins gitPublishPush -Pgradle.publish.key=${{ secrets.PLUGIN_PORTAL_KEY }} -Pgradle.publish.secret=${{ secrets.PLUGIN_PORTAL_SECRET }} -Dorg.ajoberstar.grgit.auth.username=${{ secrets.GH_TOKEN }} -is
+          arguments: publishPlugins gitPublishPush -Pgradle.publish.key=${{ secrets.PLUGIN_PORTAL_KEY }} -Pgradle.publish.secret=${{ secrets.PLUGIN_PORTAL_SECRET }} -Dorg.ajoberstar.grgit.auth.username=${{ secrets.GITHUB_TOKEN }} -is