- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for Push (0.11 sec)
-
.github/workflows/trusted_partners.js
assignees.push('cheshire', 'gcforster', 'reedwm', 'chsigg', 'xla-rotation'); } if (lowercased_title.includes('tf')) { assignees.push('rohan100jain', 'bfontain'); } } if (lowercased_title.includes('linaro') && domain.includes('linaro.org')) { if (lowercased_title.includes('arm_ci')) { assignees.push('nitins17', 'penpornk'); } }
JavaScript - Registered: Tue May 07 12:40:20 GMT 2024 - Last Modified: Tue Feb 07 13:52:04 GMT 2023 - 4.5K bytes - Viewed (0) -
.github/workflows/create_issue.js
// Assign to PR owner and reviewers const assignees = pr_resp.data.assignees.concat(pr_resp.data.requested_reviewers); let assignee_logins = assignees.map(x => x.login); assignee_logins.push(pr_resp.data.user.login); console.log(assignee_logins); // Create an new GH Issue and reference the Original PR const resp = await github.rest.issues.create({ owner, repo, assignees: assignee_logins,
JavaScript - Registered: Tue May 07 12:40:20 GMT 2024 - Last Modified: Mon Oct 18 23:04:59 GMT 2021 - 2.8K bytes - Viewed (0)