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