[svk-devel] Re: 2.0-pre "svk pull" tries to merge back to mirror source?

[Pazu]

David Glasser wrote:

> There's some tension in the definition of push/pull.  Some like to
> think of it as being intimately related to the concept of mirroring --
> push to the remote repo, pull from.  On the other hand, it's sort of
> just a synonym for smerging to and from (with update in the pull
> case).  We should probably make a more firm decision about that at
> some point.

Still, svk shouldn't smerge *to* the remote repo during a pull. AFAIK, a 
pull should merge to the local repo, while a push would merge to the 
remote repo.

-- Pazu