* John Goerzen: > While we're at it, I've never quite understood the utility of > amend-record, unrecord, etc. It seems that they would likely cause > major breakage if used on a repo that anyone else ever pulls or pushes > to/from. What is the usage scenario for them, and what makes them so > very useful?
They are dangerous, but given that you can undo mistakes before publishing because of the two-stage commit model (first local commit, then push), people *will* edit their local history to fix things. Why not make their life easier, by providing suitable commands? _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
