RFR: 941: Warn about required merge after dependent PR integration

Robin Westberg rwestberg at openjdk.java.net
Thu Apr 22 17:10:19 UTC 2021

On Thu, 22 Apr 2021 13:33:55 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> When a dependent PR has been integrated, post an instructional message on how to merge these changes.

@stefank As the original issue reporter, does this look reasonable to you?


PR: https://git.openjdk.java.net/skara/pull/1134

More information about the skara-dev mailing list