September 2009
1 post
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/experimental Where “origin” is the remote name, “master” is your local branch name, and “experimental” is the remote branch to push into.
Sep 28th