Allow mirroring repos instead of full checkouts

If we're just backing up repos, then the working directory associated
with a checkout is wasted space.