raulcd commented on code in PR #14731:
URL: https://github.com/apache/arrow/pull/14731#discussion_r1032567736
##########
.github/workflows/dev_pr/issue_check.js:
##########
@@ -78,11 +78,42 @@ async function commentNotStartedTicket(github, context,
pullRequestNumber) {
}
}
+async function verifyGitHubIssue(github, context, pullRequestNumber, issueID) {
+ const issueInfo = await helpers.getGitHubInfo(github, context, issueID,
pullRequestNumber);
+ if (issueInfo) {
+ if (!issueInfo.assignees.length) {
+ await github.issues.createComment({
+ owner: context.repo.owner,
+ repo: context.repo.repo,
+ issue_number: pullRequestNumber,
+ body: ":warning: GitHub issue #" + issueID + " **has not been
assigned in GitHub**, please assign the ticket."
Review Comment:
If the issue does not have any assignee it will be automatically assigned to
the PR creator. We will still prompt a warning that this has been done.
--
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.
To unsubscribe, e-mail: github-unsubscr...@arrow.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
