fix: handling doc creation gracefully

- if there's nothing to commit, then no need to push to origin
- also make sure to switch to the correct branch

Author: MihalyToth20

.github/workflows/add-docs-to-release.yml

@@ -25,6 +25,9 @@ jobs:
         with:
           node-version: 20.x
 
+      - name: Make sure to be on PR branch
+        run: git checkout ${GITHUB_HEAD_REF}
+
       - name: Install packages
         run: pnpm install
 
@@ -34,10 +37,22 @@ jobs:
       - name: Build Docs
         run: pnpm build:docs
 
-      - name: Commit and push docs
+      - name: Commit docs
+        id: commit_docs
+        run: |
+          git add docs
+          if git diff --cached --quiet; then
+            echo "No changes to commit."
+            echo "commit=false" >> $GITHUB_OUTPUT
+          else
+            git commit -m "chore: update docs [skip ci]"
+            echo "commit=true" >> $GITHUB_OUTPUT
+          fi
+
+      - name: Push docs (only if commit was made)
+        if: steps.commit_docs.outputs.commit == 'true'
         run: |
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
-          git add docs
-          git commit -m "chore: update docs [skip ci]" || echo "No changes to commit"
           git push origin HEAD:${GITHUB_HEAD_REF} --force-with-lease
+