With the proper configuration, only one push is needed.
Check out this more recent post, it covers an example setup for handling
branches in a similar setup:
As you can see, the magic is in the push-configuration in .git/config
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at