When I set the upstream of local branch (A for example) to a remote branch with different name (origin/B for example), the push button will push A to origin/A, even if I set push.default to upstream in git config.
The push button should push A to origin/B, just as git push does.