From 89884a72feea6a1139e0623924e7f125d95b3d78 Mon Sep 17 00:00:00 2001 From: Kenny Lajara Date: Tue, 25 Jun 2024 13:03:02 -0400 Subject: [PATCH] ci: add safe.directory config to prevent upload issues Added `git config --local --add safe.directory /github/workspace/docs/build/html` to prevent issues while uploading the documentation to GitHub Pages. - Updated CI/CD pipeline script to include the safe.directory configuration. - Ensured smooth uploading of the generated HTML documentation. This change addresses potential permission issues during the documentation upload process, ensuring a seamless deployment to GitHub Pages. --- .github/workflows/host_docs.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/host_docs.yaml b/.github/workflows/host_docs.yaml index 4a37626..eba7035 100644 --- a/.github/workflows/host_docs.yaml +++ b/.github/workflows/host_docs.yaml @@ -46,6 +46,7 @@ jobs: git add -A git config --local user.email "action@github.com" git config --local user.name "GitHub Action" + git config --local --add safe.directory /github/workspace/docs/build/html git commit -m 'deploy' - name: Force push to destination branch