From 01237ca47e9b9421a06dcb038d98773e81c4356a Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.dev>
Date: Mon, 1 Jul 2024 09:22:18 +0200
Subject: [PATCH] fix(gha): gh_pages

---
 .github/workflows/gh_pages.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/gh_pages.yml b/.github/workflows/gh_pages.yml
index e0548ec84..8fd2bc72a 100644
--- a/.github/workflows/gh_pages.yml
+++ b/.github/workflows/gh_pages.yml
@@ -59,13 +59,12 @@ jobs:
         path: book
         token: ${{secrets.PUSH_HACSPEC_GITHUB_TOKEN}}
 
-    - uses: actions/checkout@v3
     - uses: DeterminateSystems/nix-installer-action@main
 
     - name: Configure git
       run: |
-        git config --local user.name "github-actions[bot]"
-        git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
+        git config --global user.name "github-actions[bot]"
+        git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
 
     - name: Patch and push `README.md` in `hacspec.github.io`
       run: |
@@ -90,8 +89,9 @@ jobs:
 
     - name: Regenerate and push the book
       run: |
-        nix build hax#hax-book -o result-hax-book
-        cp --no-preserve=mode -r result-hax-book hax-book
+        nix build ./hax#hax-book -o result-hax-book
+
+        rsync -rq --no-perms --chown=$(whoami):$(whoami) "$(realpath result-hax-book)/" hax-book
         mv book/.git hax-book/.git
 
         cd hax-book