Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for users (0.13 sec)

  1. .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}) => {
      const user = await github.rest.users.getByUsername({
        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)
  2. .cm/plugins/filters/byCodeowner/ignore/index.js

                ? SPACE
                : EMPTY
        ],
    
        // replace (\ ) with ' '
        [
            /\\\s/g,
            () => SPACE
        ],
    
        // Escape metacharacters
        // which is written down by users but means special for regular expressions.
    
        // > There are 12 characters with special meanings:
        // > - the backslash \,
        // > - the caret ^,
        // > - the dollar sign $,
        // > - the period or dot .,
    JavaScript
    - Registered: Wed May 08 11:36:15 GMT 2024
    - Last Modified: Fri Apr 12 13:42:16 GMT 2024
    - 17.5K bytes
    - Viewed (0)
Back to top