Making 'git push' use 'simple' mode by default (new behavior for Git 2.0)