Roll up and merge

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

@@ -0,0 +1,40 @@
+# 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: ubuntu-latest
+    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))) {
+              console.log(`PR has assignees to add. Attempting to assign ${assignees.join(", ")}...`);
+
+              try {
+                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}`);
+              } catch (error) {
+                console.log(`⚠️ Failed to assign users: ${error.message}`);
+                console.log("Note: This may be due to insufficient permissions or the user not being a collaborator.");
+              }
+            } else {
+              console.log(`ℹ️ Already assigned: ${assignees.join(", ")} on PR #${context.payload.pull_request.number}`);
+            }