That's good to know. I was having this issue myself when having a remote branch with a different name than the local branch. git push was ignoring my tracking configuration which I found bizarre. I learned later that you can specify a separate configuration for git push.
This proposed default change in git will make things much clearer, in my opinion and I hope they agree to making the change.