Git: Set push.default to simple