RFR: Add topological merge bot

[mcimadamore via github.com]

On Thu, 29 Aug 2019 12:28:41 GMT, Jorn Vernee via github.com <duke at openjdk.java.net> wrote:

> This PR adds a bot that does a topological merge of the branches in a repo.
> 
> The branches can declare a dependencies file, which lists the branches that they depend on. This bot will crawl the branches, collect the dependencies for each branch, and topologically sort them based on their dependencies. Following that it will attempt to merge each dependency into the dependent in this order (this is mainly done so that we get less merges/failures if one of the root merges fails).
> 
> Branches that do not declare a dependency file implicitly depend on the master branch. Therefore the list of branches that the bot considers is passed in during configuration.
> 
> ---
> 
> Aside from that, it also fixes a minor problem with `Repository::clone` on Windows.
> 
> ----------------
> 
> Commits:
>  - 4a8f3610:	Added top bot module
> 
> Pull request:
> https://git.openjdk.java.net/skara/pull/105
> 
> Webrev:
> https://webrevs.openjdk.java.net/skara/105/webrev.00
> 
> Patch:
> https://git.openjdk.java.net/skara/pull/105.diff
> 
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/105/head:pull/105

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

looks ok

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

If this translates to "git merge --abort" then this is required, I think, as it will wipe out the repo of any by-product of the (failed) merge attempt (e.g. reset all files to original head).

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