RFR: merge-bot: use correct credentials for listing PRs

Robin Westberg rwestberg at openjdk.java.net
Fri Feb 7 13:07:39 UTC 2020

On Fri, 7 Feb 2020 12:58:21 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> please review this small patch that fixes some additional credential confusion
> in the merge bot. The bot did not use correct credentials for listing the pull
> requests for the target repository.
> Thanks,
> Erik

Looks good!


Marked as reviewed by rwestberg (Reviewer).

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

More information about the skara-dev mailing list