- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for Get (0.11 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 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, pull_number: pr_number }); if (pr_resp.status != 200 || pr_resp.data.state != 'closed') {
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)