FYI: The merge bot should use hostedrepository with proper credentials

Thu Mar 26 14:19:01 UTC 2020

On Thu, 26 Mar 2020 14:09:37 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this small change that ensures that when the merge bot tries to add a label, it uses proper credentials.
> 
> Best regards,
> Robin

Looks good!

-------------

Marked as reviewed by ehelin (Reviewer).

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