git config includes push.default simple