[Integrated] RFR: merge-bot: no need to force push

Erik Helin ehelin at openjdk.java.net
Thu Apr 16 07:44:03 UTC 2020


Changeset: fe828df4
Author:    Erik Helin <ehelin at openjdk.org>
Date:      2020-04-16 07:43:44 +0000
URL:       https://git.openjdk.java.net/skara/commit/fe828df4

merge-bot: no need to force push

Reviewed-by: rwestberg

! bots/merge/src/main/java/org/openjdk/skara/bots/merge/MergeBot.java


More information about the skara-dev mailing list