- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for Plugin (0.27 sec)
-
.github/workflows/trusted_partners.js
*/ /** Get the domain of the user's email @param {!object} github enables querying for PR and also create issue using rest endpoint username has the login username of the Pull Request Event @return {string} Return the domain name of the user's email. Empty string if not found */ const get_email_domain = async ({github, username}) => {
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
const pr_title = pr_resp.data.title; // 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)