gitconfig: set push.default to simple