Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for get_email_domain (0.17 sec)

  1. .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)
  2. .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)
Back to top