Adopting git 2.0 push.default simple behaviour