diff --git a/.github/workflows/gen-docs.yml b/.github/workflows/gen-docs.yml index f5efdd42..1bc8796b 100644 --- a/.github/workflows/gen-docs.yml +++ b/.github/workflows/gen-docs.yml @@ -42,6 +42,7 @@ jobs: git config --global user.name "$(git log -n 1 --pretty=format:%an)" git config --global user.email "$(git log -n 1 --pretty=format:%ae)" + git fetch origin git checkout gh_pages git reset --hard origin/main