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

[Anand Kumria]

Hi,

I'm just wondering why 'tla undo' performs a tree-lint prior to doing the
actual undo?

In my case I've moved .orig and .rej into the unrecognized regex and have
set the tagging method to explicit. I've done this so I can't commit with
conflicts/rejections in my tree.

If a 'tla star-merge' causes conflicts, a 'tla undo' will refuse to do
anything until I've removed those files.

I'm not sure I understand the need to do the undo when I'm already asking
for all my changes to be set aside.

Thanks,
Anand