Adding push.default at git's demand