Explicit push location to ignore user git config#264
Conversation
Users can configure what strategy "git push" uses to determine which remote branch it should push to. Cherry-picker doesn't work with all of the git push strategies but we can make explicit what the remote branch should be which works around that problem.
|
Hello, and thanks for your contribution! I'm a bot set up to make sure that the project can legally accept your contribution by verifying you have signed the PSF contributor agreement (CLA). Unfortunately we couldn't find an account corresponding to your GitHub username on bugs.python.org (b.p.o) to verify you have signed the CLA (this might be simply due to a missing "GitHub Name" entry in your b.p.o account settings). This is necessary for legal reasons before we can look at your contribution. Please follow the steps outlined in the CPython devguide to rectify this issue. When your account is ready, please add a comment in this pull request Thanks again for your contribution, we look forward to reviewing it! |
|
Okay, github nick associated with my bugs.python.org account (Contributor Form: Yes on: 2011-03-15.21:00:00) So this should be ready for the bot to check again. |
|
Thanks! 🌮 |
|
Thank you :-)
|
Users can configure what strategy "git push" uses to determine which
remote branch it should push to. Cherry-picker doesn't work with all of
the git push strategies but we can make explicit what the remote branch
should be which works around that problem.
In my case, I had this in my .gitconfig (perhaps needed long ago when git used a less intuitive push strategy by default:
That caused git to push to the remote that the branch was branched from rather than trying to push to a branch with the same name as the existing, local one. Being explicit about both the local and remote branchname should just make the behaviour cherry_picker expects work in both default git configurations and customzed configurations.