> What I am trying to suggest is a simplification of the UI and concepts: > > - Nuke the "unpull" alias > - Keep "obliterate" > - Introduce "unobliterate". > > ... > > patch would get un-applied and then perhaps moved into a "trash" directory > in the repository, whereby it could possibly one day be retrieved with the > unobliterate command, (or alternatively, purged by darcs optimize?).
As a user not claiming to be an expert in the theory of revision control systems, but merely a native speaker with an appreciation for the precision of terms, I must say that it's pretty clear to me that the entire point of the term "obliterate" is the irretrievability of it. If it becomes possible to undo the effects of an "obliterate" operation, then it absolutely must be renamed. Cheers, - arb _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
