Git Push to Remote Branch With a Different Name

Published August 8, 2019 by Tommy George

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. =)