Re: [Wikidata-tech] Changes to CI / Jenkins for Wikidata/base