Need to explicitly specify write permissions to get full repo.

.github/workflows/render_user_manual.yml

@@ -3,6 +3,9 @@ name: Render User Manual
 on:
   push
 
+permissions:
+  contents: write
+
 jobs:
   build:
     # The CMake configure and build commands are platform agnostic and should work equally
@@ -12,7 +15,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
 
     - name: Install packages
       shell: bash
@@ -32,12 +35,12 @@ jobs:
       shell: bash
       run: |
           export git_hash=$(git describe --always HEAD)
-          git clone -b gh-pages `git remote get-url origin` website
-          cd website
-          git rm -rf * && rm -rf *
-          cd ..
-          mv manual/build/* website
-          cd website
+          mv manual/build tmp
+          git checkout gh-pages
+          git rm -rf `ls | grep -v tmp`
+          rm -rf `ls | grep -v tmp`
+          mv tmp/* .
+          rm -rf tmp
           git config --local user.email "$(git log --format='%ae' HEAD^!)"
           git config --local user.name "$(git log --format='%an' HEAD^!)"
           git add *