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

[Erik Helin]

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

This pull request has now been integrated.

Changeset: 2d5199cd
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/2d5199cd
Stats:     4 lines in 2 files changed: 0 ins; 0 del; 4 mod

checkout: use to repo name as path to marks

Reviewed-by: rwestberg

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

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