Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for Push (0.11 sec)

  1. .github/workflows/trusted_partners.js

          assignees.push('cheshire', 'gcforster', 'reedwm', 'chsigg', 'xla-rotation');
        }
        if (lowercased_title.includes('tf')) {
          assignees.push('rohan100jain', 'bfontain');
        }
      }
      if (lowercased_title.includes('linaro') && domain.includes('linaro.org')) {
        if (lowercased_title.includes('arm_ci')) {
          assignees.push('nitins17', 'penpornk');
        }
      }
    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

      // Assign to PR owner and reviewers
      const assignees = pr_resp.data.assignees.concat(pr_resp.data.requested_reviewers);
      let assignee_logins = assignees.map(x => x.login);
      assignee_logins.push(pr_resp.data.user.login);
      console.log(assignee_logins);
      // Create an new GH Issue and reference the Original PR
      const resp = await github.rest.issues.create({
        owner,
        repo,
        assignees: assignee_logins,
    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