Pushing to a different git remote branch
If you have the need to push a local git branch to a differently named remote branch, try this:
git push origin master:refs/heads/experimentalWhere “origin” is the remote name, “master” is your local branch name, and “experimental” is the remote branch to push into.
