In gitconfig: push simple is a new and safer alternative to upstream.