git: how to push local branch to remote with a different name

git push remote_name local_branch_name:remote_branch_name
Thanks to http://markmcb.com/2008/09/21/multiple-remote-git-branches-with-different-local-names/
Use -n option for dry-run start to check that this works.