I have a clone of a remote repository, which I want to use as a mirror. As such, there's no need for a working directory, but I'd missed the -U option when I created it. Is there a way of removing the working directory? It's not a big deal, as I can just reclone with -U, but I'm just curious. Thanks, Paul.