- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for stats (0.01 sec)
-
.github/workflows/create_issue.js
// Get the Original PR Details const pr_resp = await github.rest.pulls.get({ owner, repo, pull_number: pr_number }); if (pr_resp.status != 200 || pr_resp.data.state != 'closed') { console.log(`PR:{pr_number} is not found or closed. Not a valid condition to create an issue.`); console.log(pr_resp); throw `PR:{pr_number} needs to be valid and closed (merged)`; }
Registered: Tue Nov 05 12:39:12 UTC 2024 - Last Modified: Mon Oct 18 23:04:59 UTC 2021 - 2.8K bytes - Viewed (0)