13: Add link to PR in emails to mailing list

Reviewed-by: ehelin
openjdk · Jul 2, 2019 · 61fc564 · 61fc564
1 parent 0226b40
commit 61fc564
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/bots/mlbridge/src/main/java/org/openjdk/skara/bots/mlbridge/ArchiveWorkItem.java b/bots/mlbridge/src/main/java/org/openjdk/skara/bots/mlbridge/ArchiveWorkItem.java
@@ -176,7 +176,9 @@ private String composeReply(ZonedDateTime date, EmailAddress author, String pare
                 "\n" +
                 quoteBody(parentBody) +
                 "\n\n" +
-                filterComments(body);
+                filterComments(body) +
+                "\n\n" +
+                "PR: " + pr.getWebUrl();
     }
 
     private String verdictToString(Review.Verdict verdict) {
@@ -209,7 +211,9 @@ private String composeReview(ZonedDateTime date, EmailAddress parentAuthor, Stri
                 "\n" +
                 quoteBody(parentBody) +
                 "\n\n" +
-                filterComments(body.toString());
+                filterComments(body.toString()) +
+                "\n\n" +
+                "PR: " + pr.getWebUrl();
     }
 
     private String composeRebaseComment(Hash lastBase, PullRequestInstance prInstance, URI fullWebrev) {
@@ -247,7 +251,9 @@ private String composeIncrementalComment(Hash lastHead, PullRequestInstance prIn
 
     private String composeReadyForIntegrationComment() {
         return "This PR now fulfills all the requirements for integration, and is only awaiting the final " +
-                "integration command from the author.";
+                "integration command from the author." +
+                "\n\n" +
+                "PR: " + pr.getWebUrl();
     }
 
     private Repository materializeArchive(Path scratchPath) {