gerritbot added a comment.
Change 414635 merged by jenkins-bot:
[mediawiki/vagrant@master] Unbreak wikidata role
https://gerrit.wikimedia.org/r/414635TASK DETAILhttps://phabricator.wikimedia.org/T187855EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/emailpreferences/To:
gerritbot added a comment.
Change 414635 had a related patch set uploaded (by Gergő Tisza; owner: Gergő Tisza):
[mediawiki/vagrant@master] Unbreak wikidata role
https://gerrit.wikimedia.org/r/414635TASK DETAILhttps://phabricator.wikimedia.org/T187855EMAIL
gerritbot added a comment.
Change 414634 had a related patch set uploaded (by Gergő Tisza; owner: Gergő Tisza):
[mediawiki/extensions/Wikibase@master] Fix handling of null values in RepositoryDefinitions
https://gerrit.wikimedia.org/r/414634TASK
Tgr added a comment.
It was set up on Feb 19; that patch is already included.TASK DETAILhttps://phabricator.wikimedia.org/T187855EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/emailpreferences/To: TgrCc: thiemowmde, hoo, Aklapper, Tgr, Lahi, Gq86, GoranSMilovanovic, QZanden,
thiemowmde added a comment.
@Tgr, how old is this Vagrant box you are using? I suspect the error might already be fixed via https://gerrit.wikimedia.org/r/410133. Can you please have a look?TASK DETAILhttps://phabricator.wikimedia.org/T187855EMAIL
