Updated push.default to match the new (git 2.0) default.