diff --git a/bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java b/bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java index 806544e65..a73329ff9 100644 --- a/bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java +++ b/bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java @@ -587,6 +587,12 @@ private String getStatusMessage(List comments, List reviews, Pu progressBody.append(" ⚠️ Title mismatch between PR and JBS."); setExpiration(Duration.ofMinutes(10)); } + if (iss.get().state() != org.openjdk.skara.issuetracker.Issue.State.OPEN) { + if (!pr.labels().contains("backport")) { + progressBody.append(" ⚠️ Issue is not open."); + } + continue; + } progressBody.append("\n"); } else { progressBody.append("⚠️ Failed to retrieve information on issue `"); diff --git a/bots/pr/src/main/java/org/openjdk/skara/bots/pr/IssueCommand.java b/bots/pr/src/main/java/org/openjdk/skara/bots/pr/IssueCommand.java index e6bf0f260..d20ef55db 100644 --- a/bots/pr/src/main/java/org/openjdk/skara/bots/pr/IssueCommand.java +++ b/bots/pr/src/main/java/org/openjdk/skara/bots/pr/IssueCommand.java @@ -139,10 +139,6 @@ private void addIssue(PullRequestBot bot, PullRequest pr, String args, Set