Git Push to Remote Branch With a Different Name

Published by

I consistently forget how to do this, but always find this post on Pen And Pants, which reminds me:

git push origin local-name:remote-name

And that post, from 2013, is why you should also be writing a blog. =)