What I learned is that a
git push <remote>
without the <remote> take the current branch.
One has to specify --all to push all branches.
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To view this discussion on the web visit
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at