On 10/9/2014 13:43, Richard Hipp wrote:
I wonder if we should auto-pull before "merge" the same as we do before
"update"?

Isn't a more appropriate comparison to

        fossil update $VERSION_NOT_YET_SYNCHED_TO_MY_LOCAL_REPO_COPY

?

That is to say, if update also had a -r option, wouldn't ?VERSION? be its argument?

A counterargument in favor of auto-pull before merge is that merge normally works on things at the tip of their branches, so it makes sense to go grab all the tips first.
_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users

Reply via email to