Running a repo file on a previously cloned repo does not refresh the clone

[markrebec]

If you run a repo file using clone and then push changes to that repo, and attempt to run another (or the same) file from the same repo, the repo will be stale unless you manually clone! again.