Sync auto-assign-pr.yml from .github repo

Author: P4X-ng

.github/workflows/auto-assign-pr.yml

@@ -1,60 +1,33 @@
 # Auto Assign Copilot (or any username) to every new pull request.
-
 # Tweak the username(s) below as needed!
 
 name: Auto Assign Copilot to PRs
 
 on:
-
   pull_request:
-
     types: [opened]
 
 jobs:
-
   auto-assign:
-
-    runs-on: self-hosted
-
+    runs-on: [self-hosted, linux, x64, big]
     steps:
-
       - name: Assign Copilot (or others) to new PRs
-
         uses: actions/github-script@main
-
         with:
-
           github-token: ${{ secrets.GITHUB_TOKEN }}
-
           script: |
-
             // Assign PRs to Copilot or other users
-
             const copilotUsername = "copilot"; // <-- TUNE ME!
-
             const assignees = [copilotUsername]; // Or: ["copilot","anotheruser"]
-
             const currentAssignees = context.payload.pull_request.assignees.map(u => u.login);
-
             if (!assignees.every(a => currentAssignees.includes(a))) {
-
               await github.rest.issues.addAssignees({
-
                 owner: context.repo.owner,
-
                 repo: context.repo.repo,
-
                 issue_number: context.payload.pull_request.number,
-
                 assignees
-
               });
-
               console.log(`Assigned ${assignees.join(", ")} to PR #${context.payload.pull_request.number}`);
-
             } else {
-
               console.log(`Already assigned: ${assignees.join(", ")} on PR #${context.payload.pull_request.number}`);
-
-            }
-
+            }