[Gnu-arch-users] Re: Default version for star-merge

[Stefan Monnier]

> I very recently taught a friend how to use arch. A day later, he came back
> to me and essentially asked: Since star-merge is commonly used to merge
> changes from the version you originally tagged from, why not make
> the default version to star-merge the version you tagged from.

Because I very often do

        tla star-merge --three-way

in order to fetch recent changes on the current branch.
I'd be happy to use `tla update' instead, except that it does not offer an
option to use diff3.


        Stefan