ci: Name directory when git-cloning

Explicitly name the directory where we clone a repo; don't rely on the
repo's name.