diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 79435eca8..5175deb1b 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -68,8 +68,11 @@ jobs: git config user.name "docs.yml" git config user.email "<>" git add --all - git commit -m "docs.yml" - git push origin main + + if ! git diff-index --quiet HEAD; then + git commit -m "docs.yml" + git push origin main + fi # - name: Publish the site! # run: |