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
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to