[darcs-users] tag an ``excursion''?

Albert Reiner areiner at tph.tuwien.ac.at
Tue Jun 14 15:03:07 UTC 2005


Hi,

suppose I have some repo, R.  What is the consequence of doing the
following:

- add some patch P, to give PR;

- tag the result, to give TPR;

- rollback P (I suppose there is no need to rollback T), to give
  inv(P)TPR.

The real question is whether this inv(P)TPR will be equivalent to R as
far as commutations are concerned, i.e., whether inv(P)TP = id is
recognized and patches will commute as if inv(P)TP were not even
there.

Any comments?

Thanks in advance,

Albert.




More information about the darcs-users mailing list