From 01d0f3943f0206cc00c98fe819b5b7c37e339145 Mon Sep 17 00:00:00 2001
From: Severin <s.bratus@student.tudelft.nl>
Date: Tue, 2 Apr 2024 19:59:06 +0200
Subject: [PATCH] Make primary branch accessible at page root

---
 .github/workflows/deploy-book-ghpages.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/deploy-book-ghpages.yml b/.github/workflows/deploy-book-ghpages.yml
index fb3f1b6..a2a9209 100644
--- a/.github/workflows/deploy-book-ghpages.yml
+++ b/.github/workflows/deploy-book-ghpages.yml
@@ -105,11 +105,15 @@ jobs:
       with:
         path: "final/"
 
-    - name: Symlink `book` to `main`
+    - name: Copy primary book to root, fail if names conflict
+      timeout-minutes: 1
       run: |
-        if test -d final/main; then
-          ln -s main final/book
+        GLOBIGNORE=".:.."
+        # -i leads to a prompt in case of conflict, => a timeout
+        if [ -d final/$PRIMARY_BRANCH ]; then
+          cp -irv final/$PRIMARY_BRANCH/* final/
         fi
+        ls -a final/
 
     - name: Load root page to redirect to `book/`
       run: |