Merge remote-tracking branch 'origin/mdbook' into mdbook

Author: damilolaedwards

.github/workflows/deploy.yml

@@ -5,12 +5,10 @@ on:
       - master
   workflow_dispatch:
 
-permissions:
-  contents: read
-  pages: write
-  id-token: write
 jobs:
   build:
+    permissions:
+      contents: read
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v3
@@ -28,6 +26,9 @@ jobs:
       with:
         path: ./book
   deploy:
+    permissions:
+      pages: write
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}