Git で local branch を別名の remote branch に push する

$ git push origin local_branch:remote_branch

ローカルに heroku push 用の heroku ブランチを用意していた場合、デプロイはローカルの heroku ブランチを heroku/master に push する必要がある。
別名で push する方法をいつも忘れて "heroku/master" って remote branch を作っちゃったりしてあばば。

$ git push -f heroku heroku:master