Subject: Re: Pull is Evil

From: Marc Branchaud <[email-masked]>
Date: Thu, 01 May 2014 15:43:07 -0400

On 14-05-01 03:22 PM, Felipe Contreras wrote:
> Marc Branchaud wrote:
>> What's more, it seems to me that the only real advantage "git pull"
>> provides here is a less typing compared to the non-pull equivalent:
>>
>>   git fetch main-repo
>>   git checkout main-repo/maintenance-branch
>>   git fetch developer-remote
>>   git merge --no-ff developer-remote/topic-branch
>>   git push main-repo HEAD
> 
> You mean `git push main-repo HEAD:maintenance-branch`, right?

Right.  Sorry, for that command I thoughtlessly just copied Brian's example.

		M.