RFR: Standardize pr bot scratch folder names and detect invalid directories

Tue Feb 11 10:24:16 UTC 2020

On Tue, 11 Feb 2020 10:18:51 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this small change that ensures that the PR bot uses unique folders for scratch repositories, and removes invalid destination directories before attempting a fresh clone.
> 
> Best regards,
> Robin

Looks good!

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

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/424