Push git to a different remote branch name
Sometimes your local branch name isn’t the same as the remote branch you want to push to. This recently came up for me because I needed to push to a specific branch to trigger a deployment. Instead of the standard git push origin branch-name, it’s easy enough to specify the remote branch you want using…