From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 13 Dec 2012 23:58:34 GMT
Subject: Re: [PATCH v3 4/7] remote-bzr: update working tree
Message-ID: <7vhanpwllh.fsf@alter.siamese.dyndns.org>
In-Reply-To: <7vobhxwm3n.fsf@alter.siamese.dyndns.org>

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.

Thanks.