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

[Zhao Song]

> 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

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

Changes:
  - all: https://git.openjdk.org/skara/pull/1374/files
  - new: https://git.openjdk.org/skara/pull/1374/files/49b4d0ef..0e5be748

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1374&range=01
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1374&range=00-01

  Stats: 3 lines in 2 files changed: 0 ins; 0 del; 3 mod
  Patch: https://git.openjdk.org/skara/pull/1374.diff
  Fetch: git fetch https://git.openjdk.org/skara pull/1374/head:pull/1374

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