setting push.default does not belong here