I just saw that the git project is considering changing the default
behavior of the `git push` command and are taking feedback on the
potential change.
In case anyone is interested, here is the call for feedback:
https://lwn.net/Articles/487131/
Cheers,
Asumu