- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for get_email_domain (0.17 sec)
-
.github/workflows/trusted_partners.js
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) { console.log(user); throw `Error Getting user data for ${username}`;
JavaScript - Registered: Tue Apr 23 12:39:09 GMT 2024 - Last Modified: Tue Feb 07 13:52:04 GMT 2023 - 4.5K bytes - Viewed (0) -
.github/workflows/trusted-partners.yml
script: | const script = require('./.github/workflows/trusted_partners.js'); const username = context.payload.pull_request.user.login; const domain = await script.get_email_domain({github, username}); switch(domain) { case "intel.com": console.log(await script.filter({github, context, domain})); break; case "apple.com":
Others - Registered: Tue Apr 23 12:39:09 GMT 2024 - Last Modified: Tue Sep 12 14:49:29 GMT 2023 - 2.4K bytes - Viewed (0)