gerritbot added a comment.
Change 539585 **merged** by jenkins-bot:
[mediawiki/extensions/WikibaseQualityConstraints@master] build: Add
mediawiki/mediawiki-phan-config
https://gerrit.wikimedia.org/r/539585
TASK DETAIL
https://phabricator.wikimedia.org/T224773
EMAIL PREFERENCES
gerritbot added a comment.
Change 539588 **merged** by jenkins-bot:
[integration/config@master] [WikibaseQualityConstraints] Run phan job
https://gerrit.wikimedia.org/r/539588
TASK DETAIL
https://phabricator.wikimedia.org/T224773
EMAIL PREFERENCES
gerritbot added a comment.
Change 539588 had a related patch set uploaded (by Umherirrender; owner:
Umherirrender):
[integration/config@master] [WikibaseQualityConstraints] Run phan job
https://gerrit.wikimedia.org/r/539588
TASK DETAIL
https://phabricator.wikimedia.org/T224773
gerritbot added a comment.
Change 539585 had a related patch set uploaded (by Umherirrender; owner:
Umherirrender):
[mediawiki/extensions/WikibaseQualityConstraints@master] build: Add
mediawiki/mediawiki-phan-config
https://gerrit.wikimedia.org/r/539585
TASK DETAIL
Lucas_Werkmeister_WMDE added a comment.
Done? Or is anything else still needed?
TASK DETAIL
https://phabricator.wikimedia.org/T224773
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: Lucas_Werkmeister_WMDE
Cc: Lucas_Werkmeister_WMDE, Aklapper,
gerritbot added a comment.
Change 538398 **merged** by jenkins-bot:
[integration/config@master] [WikibaseQualityConstraints] Add phan dependency
https://gerrit.wikimedia.org/r/538398
TASK DETAIL
https://phabricator.wikimedia.org/T224773
EMAIL PREFERENCES
gerritbot added a comment.
Change 538398 had a related patch set uploaded (by Umherirrender; owner:
Umherirrender):
[integration/config@master] [WikibaseQualityConstraints] Add phan dependency
https://gerrit.wikimedia.org/r/538398
TASK DETAIL