[Integrated] RFR: merge-bot: no need to force push
Erik Helin
ehelin at openjdk.java.net
Mon Apr 27 13:45:26 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
This pull request has now been integrated.
Changeset: fe828df4
Author: Erik Helin <ehelin at openjdk.org>
URL: https://git.openjdk.java.net/skara/commit/fe828df4
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
merge-bot: no need to force push
Reviewed-by: rwestberg
-------------
PR: https://git.openjdk.java.net/skara/pull/582
More information about the skara-dev
mailing list