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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html