RFR: Add topological merge bot

Jorn Vernee via github.com duke at openjdk.java.net
Thu Aug 29 14:07:45 UTC 2019

The pull request has been updated with additional changes.


Added commits:
 - 4ffe0b07:	Do a hard rest after failed push.

Pull request:

 - full: https://webrevs.openjdk.java.net/skara/105/webrev.02
 - inc: https://webrevs.openjdk.java.net/skara/105/webrev.01-02

Updated full patch:

Fetch command:
git fetch https://git.openjdk.java.net/skara pull/105/head:pull/105

More information about the skara-dev mailing list