added push.default to git config