Integrated: 1512: MirrorBot may get stuck failing to clone repository

[Zhao Song]

On Tue, 13 Sep 2022 21:14:07 GMT, Zhao Song <duke at openjdk.org> wrote:

> Optimized the logic in MirrorBot.
> 
> When MirrorBot tries to create a directory, the directory will have a 'temporary' suffix, then it will attempts cloning. It the cloning succeed, the suffix will be removed. If the clone fails or the bot happens to die, the directory will retain the suffix. On the next time, if we try to rerun the bot, the bot will detect the temporary directory and will delete the temporary directory first, therefore, the bot will not get stuck.

This pull request has now been integrated.

Changeset: 7cf47ca0
Author:    Zhao Song <zhao.song at oracle.com>
Committer: Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/7cf47ca037f9157195d330d746ffd7164edffea2
Stats:     55 lines in 2 files changed: 52 ins; 1 del; 2 mod

1512: MirrorBot may get stuck failing to clone repository

Reviewed-by: erikj

-------------

PR: https://git.openjdk.org/skara/pull/1374