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

[Julian Waters]

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