Git: set push.default to simple.