RFR: Add merge and topological bots to cli image
Robin Westberg via github.com
duke at openjdk.java.net
Fri Aug 30 12:26:50 UTC 2019
On Fri, 30 Aug 2019 12:25:24 GMT, Erik Duveblad via github.com <duke at openjdk.java.net> wrote:
> Hi all,
>
> I forgot to add (as often) the new merge bot the bots cli image.
>
> Thanks,
> Erik
>
> ----------------
>
> Commits:
> - b030c347: Add merge bot to bots cli image
>
> Pull request:
> https://git.openjdk.java.net/skara/pull/112
>
> Webrev:
> https://webrevs.openjdk.java.net/skara/112/webrev.00
>
> Patch:
> https://git.openjdk.java.net/skara/pull/112.diff
>
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/112/head:pull/112
This PR has been reviewed by Robin Westberg via github.com - changes are approved. Review comment:
Good!
PR: https://git.openjdk.java.net/skara/pull/112
More information about the skara-dev
mailing list