Enhance sync-editorconfig workflow with debug info

Update the workflow to include debug output and commit logic for .editorconfig.

Author: BionicCode

.github/workflows/sync-editorconfig-on-push.yml

@@ -35,6 +35,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
+          persist-credentials: true
 
       - name: Fetch canonical .editorconfig (token clone if available and not a fork, otherwise raw URL)
         run: |
@@ -85,26 +86,86 @@ jobs:
         run: |
           # Overwrite or create the repo's .editorconfig with the canonical file
           cp canonical.editorconfig .editorconfig
-          # Show diff for logs (first 200 lines)
-          echo "---- .editorconfig (canonical) ----"
-          sed -n '1,200p' canonical.editorconfig || true
-          echo "-----------------------------------"
+          # Debug: show file summary to make sure the copy happened
+          echo "Workspace .editorconfig:"
+          ls -la .editorconfig || true
+          echo "---- head of .editorconfig ----"
+          sed -n '1,40p' .editorconfig || true
+          echo "--------------------------------"
 
-      - name: Create sync pull request if .editorconfig differs or missing
+      - name: Commit and attempt to push .editorconfig to target branch (sets push_succeeded)
+        id: commit_push
         if: steps.compare.outputs.same == 'false'
+        run: |
+          # We'll always write an output push_succeeded (true/false). The step must succeed
+          # so the workflow can run a fallback PR when push fails.
+          set -o pipefail
+          PUSH_SUCCEEDED=false
+
+          echo "Preparing to commit .editorconfig to branch '${{ env.TARGET_BRANCH }}'"
+
+          # Configure git for the automated commit
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+
+          # Only attempt push when this run is allowed to push (push events, or PRs from the same repo)
+          if [ "${{ github.event_name }}" = "push" ] || \
+             ( [ "${{ github.event_name }}" = "pull_request" ] && [ "${{ github.event.pull_request.head.repo.full_name }}" = "${{ github.repository }}" ] ); then
+
+            echo "Push permitted for this run; attempting to commit and push."
+
+            # Ensure we have an up-to-date view of the remote target branch
+            git fetch origin "${{ env.TARGET_BRANCH }}" || true
+
+            # Checkout the target branch (create it locally if it doesn't exist)
+            if git rev-parse --verify "${{ env.TARGET_BRANCH }}" >/dev/null 2>&1; then
+              git checkout "${{ env.TARGET_BRANCH }}"
+            else
+              git checkout -b "${{ env.TARGET_BRANCH }}"
+            fi
+
+            # Add and commit .editorconfig
+            git add .editorconfig
+
+            if git diff --staged --quiet; then
+              echo "No staged changes to commit. Nothing to push."
+              PUSH_SUCCEEDED=true
+            else
+              git commit -m "chore(sync): update .editorconfig from canonical" --author="github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>" || true
+
+              # Push and capture exit code instead of failing the step
+              echo "Pushing to origin/${{ env.TARGET_BRANCH }}..."
+              if git push origin "${{ env.TARGET_BRANCH }}"; then
+                echo "Push successful."
+                PUSH_SUCCEEDED=true
+              else
+                echo "Push failed (remote rejected or permission error). Will fall back to PR."
+                PUSH_SUCCEEDED=false
+              fi
+            fi
+          else
+            echo "This run is not permitted to push (e.g., forked PR). Skipping direct push and will fall back to PR."
+            PUSH_SUCCEEDED=false
+          fi
+
+          # Emit the result for later steps
+          if [ "$PUSH_SUCCEEDED" = "true" ]; then
+            echo "push_succeeded=true" >> $GITHUB_OUTPUT
+          else
+            echo "push_succeeded=false" >> $GITHUB_OUTPUT
+          fi
+
+      - name: Fallback: open PR if direct push was not possible/failed
+        if: steps.compare.outputs.same == 'false' && steps.commit_push.outputs.push_succeeded != 'true'
         uses: peter-evans/create-pull-request@v5
         with:
-          # new branch name for sync commit
           branch: sync-editorconfig/${{ github.run_id }}
-          # target the branch that triggered the run (developer's branch)
           base: ${{ env.TARGET_BRANCH }}
           title: "chore: sync .editorconfig with canonical"
           body: |
             This automated PR updates or adds .editorconfig from the canonical repository (${{ env.CANONICAL_REPO }}@${{ env.CANONICAL_BRANCH }}).
             Please merge or pull this update to ensure your local analyzers and formatting use the canonical rules.
           commit-message: "chore(sync): update .editorconfig from canonical"
           labels: automation
-          # include only .editorconfig in the commit
           add-paths: .editorconfig
-          # Author set to the GitHub Actions bot to make automated commits identifiable
           author: "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>"