RFR: 1663: Mark integrated Pull Requests as properly merged in GitHub repositories

Julian Waters jwaters at openjdk.org
Thu Nov 3 17:19:45 UTC 2022

On Thu, 3 Nov 2022 17:01:01 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> The pr/X branch feature is optional, so those branches are currently not present in all repositories that the PR bot operates on.

My mistake, I misunderstood the original comment, I didn't realize that the PR bot had no way of telling if the feature was active on the main repos


PR: https://git.openjdk.org/skara/pull/1409

More information about the skara-dev mailing list