Revert back to sub-clone approach but use token for login.

tmiw · Mar 16, 2024 · 209e18b · 209e18b
1 parent 31282ab
commit 209e18b
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/render_user_manual.yml b/.github/workflows/render_user_manual.yml
@@ -35,12 +35,12 @@ jobs:
       shell: bash
       run: |
           export git_hash=$(git describe --always HEAD)
-          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 clone -b gh-pages https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY website
+          cd website
+          git rm -rf * && rm -rf *
+          cd ..
+          mv manual/build/* website
+          cd website
           git config --local user.email "$(git log --format='%ae' HEAD^!)"
           git config --local user.name "$(git log --format='%an' HEAD^!)"
           git add *