A different approach at gating the commit

christianrowlands · Dec 4, 2023 · 3e53aed · 3e53aed
1 parent 2dba419
commit 3e53aed
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/.github/workflows/doc_generate.yaml b/.github/workflows/doc_generate.yaml
@@ -54,12 +54,13 @@ jobs:
           git config user.email "[email protected]"
           git config user.name "Github Actions"
           git add .
-          git diff --staged --quiet || {
+          # Check for changes
+          if git diff --staged --quiet; then
             echo "No changes to commit"
-            exit 0
-          }
-          git commit -am "Bump version to ${{ env.VERSION_NAME }}"
-          git push origin develop
+          else
+            git commit -m "Bump version to ${{ env.VERSION_NAME }}"
+            git push origin develop
+          fi
 
 
   generateDocs: