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