- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for name (0.13 sec)
-
.github/workflows/trusted_partners.js
@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}) => { const user = await github.rest.users.getByUsername({ username }); if (user.status >= 400) {
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
throw "Error extracting PR Number from commit message"; } const pr_number = parseInt(pr_match_groups[1]); const owner = context.payload.repository.owner.name; const repo = context.payload.repository.name; console.log(`Original PR: ${pr_number} and Rollback Commit: ${rollback_commit}`); // Get the Original PR Details const pr_resp = await github.rest.pulls.get({ owner, repo,
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)