.gitconfig: adopt Git 2.0 push behavior.