kou commented on pull request #9763:
URL: https://github.com/apache/arrow/pull/9763#issuecomment-808963421
I don't think that we need it but it may be able to implement by the
following:
```diff
diff --git a/.github/workflows/dev_pr/link.js
b/.github/workflows/dev_pr/link.js
index 550a9cd39..c27b5f8f1 100644
--- a/.github/workflows/dev_pr/link.js
+++ b/.github/workflows/dev_pr/link.js
@@ -19,6 +19,9 @@ function detectJIRAID(title) {
if (!title) {
return null;
}
+ if (title.startsWith("MINOR: ") {
+ return "MINOR";
+ }
const matched = /^(WIP:?\s*)?((ARROW|PARQUET)-\d+)/.exec(title);
if (!matched) {
return null;
@@ -47,15 +50,20 @@ async function haveComment(github, context,
pullRequestNumber, body) {
}
async function commentJIRAURL(github, context, pullRequestNumber, jiraID) {
- const jiraURL = `https://issues.apache.org/jira/browse/${jiraID}`;
- if (await haveComment(github, context, pullRequestNumber, jiraURL)) {
+ let body;
+ if (jiraID === "MINOR") {
+ body = 'This is a minor PR.';
+ } else {
+ body = `https://issues.apache.org/jira/browse/${jiraID}`;
+ }
+ if (await haveComment(github, context, pullRequestNumber, body)) {
return;
}
await github.issues.createComment({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: pullRequestNumber,
- body: jiraURL
+ body: body
});
}
```
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
