Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for sync (0.12 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 May 07 12:40:20 GMT 2024
    - Last Modified: Tue Feb 07 13:52:04 GMT 2023
    - 4.5K bytes
    - Viewed (0)
  2. .github/workflows/create_issue.js

        github enables querying for PR and also create issue using rest endpoint
        context has the commit message details in the payload
      @return {string} Returns the issue number and title
    */
    module.exports = async ({github, context}) => {
      const rollback_commit = context.payload.head_commit.id;
      const pr_match_groups = context.payload.head_commit.message.match(/\Rollback of PR #(\d+).*/) || [];
      if (pr_match_groups.length != 2) {
    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)
Back to top