[Integrated] RFR: merge-bot: recreate repository on failed push

Erik Helin ehelin at openjdk.java.net
Wed Apr 8 11:42:23 UTC 2020


Changeset: 29c90210
Author:    Erik Helin <ehelin at openjdk.org>
Date:      2020-04-08 11:42:11 +0000
URL:       https://git.openjdk.java.net/skara/commit/29c90210

merge-bot: recreate repository on failed push

Reviewed-by: rwestberg

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


More information about the skara-dev mailing list