From 70bc24bdc51d33c055c40bd48b59419945c79523 Mon Sep 17 00:00:00 2001 From: Jiabao Sun Date: Tue, 27 Dec 2022 17:40:41 +0800 Subject: [PATCH] [ci] Fix for dubious repo ownership issue (#1840) --- .github/workflows/build_docs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index 41965ff6d..f39991c2a 100644 --- a/.github/workflows/build_docs.yml +++ b/.github/workflows/build_docs.yml @@ -21,6 +21,7 @@ jobs: apt-get update apt-get install -y git git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" . + git config --global --add safe.directory /__w/${GITHUB_REPOSITORY}/${GITHUB_REPOSITORY} shell: bash - name: Execute script to build our documentation and update pages