git: set push.default to nothing