RFR: 57: The hgbridge should push marks to a configurable repository

[Erik Duveblad via github.com]

On Thu, 15 Aug 2019 13:16:28 GMT, Robin Westberg via github.com <duke at openjdk.java.net> wrote:

> Hi all,
> 
> Please review the following change that enables the hgbridge bot to push the marks generated during conversion to a separate repository.
> 
> Best regards,
> Robin
> 
> ----------------
> 
> Commits:
>  - b92b579d:	Push marks file to a repository
> 
> Pull request:
> https://git.openjdk.java.net/skara/pull/44
> 
> Webrev:
> https://webrevs.openjdk.java.net/skara/44/webrev.00
> 
> Patch:
> https://git.openjdk.java.net/skara/pull/44.diff
> 
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/44/head:pull/44

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

Thanks for taking care of this, looks good!

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