On Thu, Dec 13, 2012 at 5:58 PM, Junio C Hamano <gits...@pobox.com> wrote: > Junio C Hamano <gits...@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.
Looks good to me. Cheers. -- Felipe Contreras -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
