Sometimes developers need to use a repository which is hard linked at a specific place (e.g. Rational Rose on Windows). it would be helpful to be able to locally archive, clean or remove the existing repository, pull another version work on it, push changes, remove that repository and restore the old one. Ideally several archives at a time should be allowed.
work around: (* indicates function not currently in darks)
archive/zip all the repository to a file.* (darcs could archive only the needed repository files)
delete everything in the repository*
init
pull <>
< make changes>
push <>
delete everything in the repository*
restore from archive/zip file* (darcs could restore from just the repository archive file)
you could close issue 555 with this.
|