Re: [PATCH v3 4/7] remote-bzr: update working tree

> Junio C Hamano <gitster@pobox.com> writes:
>
>>> Perhaps. It's not really clear if we should update the working tree at
>>> all. A 'git push' doesn't update the working directory on the remote,
>>> but a 'bzr push' does. I thought it was better to leave this
>>> distinction clear, in case this becomes an issue later on.
>> ...
>> ...  I don't mind rephrasing that four lines and amend the
>> log message of what I have in 'pu', if that is what you want.
>
> ... which may look like this.
>
>     remote-bzr: update working tree upon pushing
>
>     A 'git push' doesn't update the working directory on the remote, but
>     a 'bzr push' does.  Teach the remote helper for bzr to update the
>     working tree on the bzr side upon pushing via the "export" command.
>
> Let me know if I grossly misinterpreted/misrepresented what you
> wanted to do in this patch.