Page MenuHomePhabricator

Fix mediawiki-history-checker after field rename
Closed, ResolvedPublic3 Story Points

Description

The revision_is_deleted field has been renamed revision_is_deleted_by_page_deletion in this patch: https://gerrit.wikimedia.org/r/c/analytics/refinery/source/+/492304. The change was not reflected on the checker.

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMar 28 2019, 8:12 AM
JAllemandou moved this task from Next Up to In Code Review on the Analytics-Kanban board.

Change 499527 had a related patch set uploaded (by Joal; owner: Joal):
[analytics/refinery/source@master] Fix mediawiki-history-checker after field renamed

https://gerrit.wikimedia.org/r/499527

Change 499527 merged by jenkins-bot:
[analytics/refinery/source@master] Fix mediawiki-history-checker after field renamed

https://gerrit.wikimedia.org/r/499527

Change 499527 merged by Fdans:
[analytics/refinery/source@master] Fix mediawiki-history-checker after field renamed

https://gerrit.wikimedia.org/r/499527

Nuria closed this task as Resolved.Tue, May 14, 8:44 PM
Nuria set the point value for this task to 3.