pushed again after setting push.default to simple