RFR: merge-bot: use correct credentials for listing PRs
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.
Marked as reviewed by rwestberg (Reviewer).
More information about the skara-dev