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.
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