gitconfig: push.default to simple