[Gnu-arch-users] Re: why does tla undo perform a tree-lint?

[Anand Kumria]

On Mon, 18 Oct 2004 11:06:36 -0400, Adrian Irving-Beer wrote:

> On Tue, Oct 19, 2004 at 12:57:28AM +1000, Anand Kumria wrote:
> 
>> I'm just wondering why 'tla undo' performs a tree-lint prior to
>> doing the actual undo?
> 
> It needs to create a changeset for 'tla redo'.  Changesets require a
> proper tree; hence, deleting files requires IDs for those files.

Hmm, so I'm after a 'tla revert' which throws away all changes
in the tree without bothering to create a changeset which might be
re-applied then, I guess.

Or perhaps a 'tla undo --force'?

Thanks,
Anand