From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Thu, 01 May 2014 19:22:02 GMT
Subject: Re: Pull is Evil
Message-ID: <53629eda40a52_76612eb2f062@nysa.notmuch>
In-Reply-To: <5362664C.8040907@xiplink.com>

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?

-- 
Felipe Contreras