RFR: merge-bot: no need to force push

Robin Westberg rwestberg at openjdk.java.net
Thu Apr 16 06:56:09 UTC 2020

On Thu, 16 Apr 2020 06:40:37 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> please review this small patch that makes the merge bot no longer use force
> pushes. The redesigned merge bot has no need for force pushes, all "from"
> branches (branches in bot's fork) will have a unique name, so there should never
> be a conflict when pushing.
> Testing:
> - `make test` on Linux x64
> Thanks,
> Erik

Looks good!


Marked as reviewed by rwestberg (Reviewer).

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

More information about the skara-dev mailing list