RFR: 54: Add a mirror bot

[Robin Westberg via github.com]

On Wed, 14 Aug 2019 07:04:55 GMT, Erik Duveblad via github.com <duke at openjdk.java.net> wrote:

> Hi all,
> 
> this patch adds a bot that can mirror two repositories, including multiple branches and multiple tags (in contrast to the forwarder bot that only forwards between two branches).
> 
> # Testing
> - [x] `sh gradlew test` passes
> - [x] Added four new unit tests to test the mirror bot
> 
> ----------------
> 
> Commits:
>  - 9f1b7a26:	54: Add a mirror bot
> 
> Pull request:
> https://git.openjdk.java.net/skara/pull/41
> 
> Webrev:
> https://webrevs.openjdk.java.net/skara/41/webrev.00
> 
> Patch:
> https://git.openjdk.java.net/skara/pull/41.diff
> 
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/41/head:pull/41

This PR has been reviewed by Robin Westberg via github.com - changes are approved. Review comment:

Looks good!

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