On Monday 01 August 2005 11:48, Stephen J. Turnbull wrote: > >>>>> "Erik" == Erik Schnetter <[EMAIL PROTECTED]> writes: > > Erik> If everybody will be surprised by the patch just vanishing, > Erik> then why do we actually want to make it vanish in the first > Erik> place? > > In the case of actually un-pull-ing a patch, it has the effect of > cleaning up the branch without deleting the patch from the world. In > other cases you really do want to delete the patch entirely. > > Erik> We could introduce a directory /deleted-patches and put a > Erik> copy of the patch there. This way it could be resurrected > Erik> with "darcs undelete". > > Don't we have plenty of options for keeping the patch in the > repository but not using it in the current workspace?
True. But the idea isn't to keep the patch around; if you want that, you can just copy it somewhere yourself. The idea is to allow people to undo a mistake. People consider (that's what the discussion is about) unpulling to be dangerous; if you can undo unpulling, then it is not dangerous any more. -erik -- Erik Schnetter <[EMAIL PROTECTED]> http://www.aei.mpg.de/~eschnett/ My email is as private as my paper mail. I therefore support encrypting and signing email messages. Get my PGP key from www.keyserver.net.
pgp4OcgVYO9yg.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
