iFixit/git-scripts — pull request #120 by danielbeardsley (2014-02-19 22:42:24+00:00)
Title: hotfix/feature merge: push on successful merge

We've historically done this by hand, but forgetting to push one or
both branches has been a source of frustration and confusion.

Automate all the things!

Git allows pushing as many branches as you want:
git push {remote_name} {branch1} {branch2} ...