fix: Avoid attempting to commit if nothing changed

galacticusorg · Aug 3, 2023 · 3ceb8d4 · 3ceb8d4
1 parent 3f47c1a
commit 3ceb8d4
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/cicd.yml b/.github/workflows/cicd.yml
@@ -100,6 +100,9 @@ jobs:
           git config --local user.email "[email protected]"
           git config --local user.name "github-action-validate"
           git add doc
-          git commit -m "Update documentation"
-          git push --set-upstream origin gh-pages
+          git diff --cached --quiet
+          if [ $? -eq 1 ]; then
+            git commit -m "Update documentation"
+            git push --set-upstream origin gh-pages
+          fi
         if: github.event_name != 'pull_request'