From c715857ac75ae2c0aea6512c426eebc04b991fdb Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Sat, 10 Sep 2022 15:54:39 -0400
Subject: [PATCH] fix: ensure the generated site is owned by the CI user

---
 contrib/build-docs | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/contrib/build-docs b/contrib/build-docs
index ec3c5f2e8..931dc1b43 100755
--- a/contrib/build-docs
+++ b/contrib/build-docs
@@ -7,9 +7,6 @@ main() {
   pushd "$ROOT_DIR" >/dev/null || return 1
   rm -rf docs-main tmp/docs-source tmp/docs-build # tmp/docs-build
   cp -r docs docs-main
-  
-  echo "====> Whoami"
-  whoami
 
   echo "====> Generating docs image"
   make docs-build-image
@@ -37,7 +34,10 @@ main() {
   sed -i.bak "s/outdated/outdated_hidden/g" docs/_overrides/main.html && rm docs/_overrides/main.html.bak
   echo "----> Generating docs"
   make docs-build
-  ls -lah site site/_build
+  if [[ -n "$GITHUB_ACTION" ]]; then
+    sudo chown -R "$(whoami)" site
+  fi
+
   rm -rf site/_build
   mv site tmp/docs-build/docs
   mv docs/home.html tmp/docs-build/index.html
@@ -108,6 +108,10 @@ main() {
       fi
 
       if [[ -d "docs~v${version}" ]]; then
+        if [[ -n "$GITHUB_ACTION" ]]; then
+          sudo chown -R "$(whoami)" "docs~v${version}"
+        fi
+
         rm -rf "docs~v${version}/_build"
         mv "docs~v${version}" "tmp/docs-build/docs~v${version}"
       fi