Add style bot (#1077)

* init

* Apply suggestion from @NathanHB

* Apply suggestion from @NathanHB

* Apply suggestion from @NathanHB

* Apply suggestion from @NathanHB

* Apply suggestion from @NathanHB

* try 2

Author: NathanHB

.github/workflows/pr_style_bot.yaml

@@ -36,23 +36,37 @@ jobs:
             core.setOutput("headRepoFullName", pr.head.repo.full_name);
       - name: Check out PR branch
         uses: actions/checkout@v3
+        env:
+          HEADREPOFULLNAME: ${{ steps.pr_info.outputs.headRepoFullName }}
+          HEADREF: ${{ steps.pr_info.outputs.headRef }}
         with:
-          repository: ${{ steps.pr_info.outputs.headRepoFullName }}
-          ref: ${{ steps.pr_info.outputs.headRef }}
+          # Instead of checking out the base repo, use the contributor's repo name
+          repository: ${{ env.HEADREPOFULLNAME }}
+          ref: ${{ env.HEADREF }}
+          # You may need fetch-depth: 0 for being able to push
           fetch-depth: 0
           token: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Debug
+        env:
+          HEADREPOFULLNAME: ${{ steps.pr_info.outputs.headRepoFullName }}
+          HEADREF: ${{ steps.pr_info.outputs.headRef }}
+          PRNUMBER: ${{ steps.pr_info.outputs.prNumber }}
+        run: |
+          echo "PR number: ${{ env.PRNUMBER }}"
+          echo "Head Ref: ${{ env.HEADREF }}"
+          echo "Head Repo Full Name: ${{ env.HEADREPOFULLNAME }}"
+
       - name: Set up Python
         uses: actions/setup-python@v4
-
       - name: Install dependencies
-        run: pip install .[quality]
-
-      - name: Apply style fixes
         run: |
-          ruff format .
-          ruff check --fix .
+          pip install .[quality]
 
+      - name: Run ruff format --check
+        run: |
+          uv run ruff format --check .
+          uv run ruff check --fix .
       - name: Commit and push changes
         id: commit_and_push
         env:
@@ -61,27 +75,35 @@ jobs:
           PRNUMBER: ${{ steps.pr_info.outputs.prNumber }}
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
+          echo "HEADREPOFULLNAME: ${{ env.HEADREPOFULLNAME }}, HEADREF: ${{ env.HEADREF }}"
+          # Configure git with the Actions bot user
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
+          # Make sure your 'origin' remote is set to the contributor's fork
           git remote set-url origin "https://x-access-token:${GITHUB_TOKEN}@github.com/${{ env.HEADREPOFULLNAME }}.git"
+          # If there are changes after running style/quality, commit them
           if [ -n "$(git status --porcelain)" ]; then
             git add .
             git commit -m "Apply style fixes"
+            # Push to the original contributor's forked branch
             git push origin HEAD:${{ env.HEADREF }}
             echo "changes_pushed=true" >> $GITHUB_OUTPUT
           else
+            echo "No changes to commit."
             echo "changes_pushed=false" >> $GITHUB_OUTPUT
           fi
-      - name: Comment on PR
+      - name: Comment on PR with workflow run link
         if: steps.commit_and_push.outputs.changes_pushed == 'true'
         uses: actions/github-script@v6
         with:
           script: |
-            const prNumber = ${{ steps.pr_info.outputs.prNumber }};
-            const runUrl = `${process.env.GITHUB_SERVER_URL}/${process.env.GITHUB_REPOSITORY}/actions/runs/${process.env.GITHUB_RUN_ID}`;
+            const prNumber = parseInt(process.env.prNumber, 10);
+            const runUrl = `${process.env.GITHUB_SERVER_URL}/${process.env.GITHUB_REPOSITORY}/actions/runs/${process.env.GITHUB_RUN_ID}`
             await github.rest.issues.createComment({
               owner: context.repo.owner,
               repo: context.repo.repo,
               issue_number: prNumber,
               body: `Style fixes have been applied. [View the workflow run here](${runUrl}).`
             });
+        env:
+          prNumber: ${{ steps.pr_info.outputs.prNumber }}