.github: PRSubmitActions: Fix adding reviewers to PR

diff --git a/.github/workflows/PRSubmitActions.yml b/.github/workflows/PRSubmitActions.yml
index fb58f19015d3369534559b9f51f55d2e1f030b02..967dc4f83d02f17205fcf2b1a728488919366056 100644 (file)
--- a/.github/workflows/PRSubmitActions.yml
+++ b/.github/workflows/PRSubmitActions.yml
@@ -129,7 +129,7 @@ jobs:
             let teams = [];
             for (const r of rs) {
               if (r.indexOf("/") > 0) {
-                teams.push(r);
+                teams.push(r.split('/')[1]);
               } else {
                 users.push(r);
               }
@@ -138,7 +138,7 @@ jobs:
               core.info(`Adding user reviewers ${users}`);
               core.info(`Adding team reviewers ${teams}`);
               await github.pulls.requestReviewers({
-                pr_number: process.env.PR_NUMBER,
+                pull_number: process.env.PR_NUMBER,
                 owner: context.repo.owner,
                 repo: context.repo.repo,
                 reviewers: users,