Merge pull request #1281 from mathbunnyru/asalikhov/github_write_perm…

…issions Add write permissions to github jobs
jupyter · May 3, 2021 · 289c402 · 289c402
2 parents fde8f1e + b1546b9
commit 289c402
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -20,6 +20,8 @@ jobs:
   build:
     name: Build Docker Images
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     if: >
       !contains(github.event.head_commit.message, 'ci skip') &&
       !contains(github.event.pull_request.title, 'ci skip')

diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
@@ -16,6 +16,8 @@ jobs:
   build:
     name: Build Sphinx Documentation
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     if: >
       !contains(github.event.head_commit.message , 'ci skip') &&
       !contains(github.event.pull_request.title, 'ci skip')
@@ -42,6 +44,6 @@ jobs:
         if: github.ref == 'refs/heads/master'
         run: make git-commit
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          GITHUB_REPOSITORY: ${{ github.repository }}
+          GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
+          GITHUB_REPOSITORY: ${{github.repository}}
           LOCAL_PATH: ./docs/locale/en