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

[Robin Westberg via github.com]

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