maintain current behaviour for push.default in git