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

[Erik Helin]

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

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

Commit messages:
 - checkout: use to repo name as path to marks

Changes: https://git.openjdk.java.net/skara/pull/1001/files
 Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1001&range=00
  Stats: 4 lines in 2 files changed: 0 ins; 0 del; 4 mod
  Patch: https://git.openjdk.java.net/skara/pull/1001.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/1001/head:pull/1001

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