FYI: The merge bot should use hostedrepository with proper credentials
ehelin at openjdk.java.net
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,
Marked as reviewed by ehelin (Reviewer).
More information about the skara-dev