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

[Albert Reiner]

Thanks for your explanation:

[Jamie Webb <j at jmawebb.cjb.net>, Wed, 15 Jun 2005 00:38:48 +0100]:
> AFAICT, Darcs does not consider that inv(P)P = id, so, err, no.

My mental model just took another hit.

> This is probably because it doesn't quite work: consider what happens
> if you freely commute across the rollback pair, and then decide to
> unpull inv(P). Even as it stands there are bugs related to this. The

Naively, I would expect the unpull to fail, or to cause a conflict.

> rollback design is AIUI considered irreparably flawed, and will
> hopefully be replaced by something better at some point.

BTW, I noticed that I cannot rollback a patch that a tag depends on,
whereas I was surprised that a tag could be rolled back at all.

Regards,

Albert.