Use Git 2.0 push.default