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