RFR: checkout: use to repo name as path to marks

[Robin Westberg]

On Thu, 4 Feb 2021 09:42:31 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this small patch that makes the `checkout` bot use the filename of the to path as the path for storing marks (compared to using the name of the from repo).
> 
> Thanks,
> Erik

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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