RFR: 1512: MirrorBot may get stuck failing to clone repository [v2]

[Erik Joelsson]

On Fri, 23 Sep 2022 17:02:15 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.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fixed some syntax errors

Marked as reviewed by erikj (Lead).

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

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