Eliminar una copia de trabajo

Si tienes una copia de trabajo que ya no necesitas, ¿cómo te deshaces limpiamente de ella? Fácil - ¡simplemente bórrala con el Explorador de Windows! Las copias de trabajo son entidades locales, y son auto-contenidas. Borrar una copia de trabajo en el Explorador de Windows no afecta en absoluto los datos en el repositorio.