Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for numero (0.24 sec)

  1. .github/workflows/trusted_partners.js

        issue_number: context.issue.number,
        owner: context.repo.owner,
        repo: context.repo.repo,
        labels: labels
      });
      if (resp_label.status >= 400) {
        console.log(resp_label);
        throw "Error adding labels to PR";
      }
      if (assignees.length > 0) {
        const resp_assign = await github.rest.issues.addAssignees({
          issue_number: context.issue.number,
    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

      }
      const pr_number = parseInt(pr_match_groups[1]);
      const owner = context.payload.repository.owner.name;
      const repo = context.payload.repository.name;
      console.log(`Original PR: ${pr_number} and Rollback Commit: ${rollback_commit}`);
      // Get the Original PR Details
      const pr_resp = await github.rest.pulls.get({
        owner,
        repo,
        pull_number: pr_number
      });
    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