>>>>> "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?
--
School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
Ask not how you can "do" free software business;
ask what your business can "do for" free software.
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
