Thomas Keller wrote:
Still undecided about that - what if the file got accidently deleted?
Sure, its recoverable via revert and one has to look cleanly onto the
changeset one wants to commit anyways to avoid such accidential
deleted files, but I'm at least completly satisfied with mtn drop
--missing ...
If the file was accidentally deleted (any number of reasons), and the
user fails to notice before committing the change (it was only a simple
one line change made in a hurry), then the die-die-die merge algorithm
will ensure the file cannot be recovered to its original state.
Better to be conservative and require files be explicitly dropped I
think, at least until we remove the die-die-die merge algorithm.
Brian May
_______________________________________________
Monotone-devel mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/monotone-devel
