Last modified: 2014-08-01 05:07:30 UTC
This doesn't seem to be working, even though it does get removed from the category, and the category counts are updated (that seems to be where we hook in). However, it is added when the page is restored (which changes its article ID), so there is also an extra ID added on a deletion/restore cycle.
After we fix this, we'll have to run a one-time cleanup script.
Change 140619 had a related patch set uploaded by Robmoen: Remove page from redis categories on page delete https://gerrit.wikimedia.org/r/140619
Change 140619 merged by jenkins-bot: Remove page from redis categories on page delete https://gerrit.wikimedia.org/r/140619