Wikidata description editing activity with Wikipedia Android app

SQL

USE wikidatawiki_p;
SELECT
  IF(n_edits >= 5, '5 or more', 'fewer than 5') AS wikidata_description_edits,
  COUNT(1) AS n_android_app_users
FROM (
  SELECT
    rev_user,
    SUM(
      CASE WHEN (rev_timestamp < '20180710' AND ct_tag = 'mobile app edit') THEN 1
           -- ^ wikidata description edits tagged generically as 'mobile app edit'
           --   can be safely assumed to come from android
           WHEN (rev_timestamp >= '20180710' AND ct_tag = 'android app edit') THEN 1
           -- ^ wikidata description edits made on android as of 10 July 2018 are
           --   explicitly tagged as 'android app edit'
           ELSE 0 END
           -- ^ 'mobile app edit'-tagged wikidata description edits made later may
           --   come from iOS since Fall 2018
    ) AS n_edits
  FROM (
    SELECT rev_id, rev_user, rev_timestamp
    FROM revision
    WHERE rev_timestamp >= '20160901' -- wikidata description editing on android app started in September 2016
      AND INSTR(rev_comment, 'wbsetdescription') > 0
  ) AS description_edits
  INNER JOIN (
    SELECT ct_rev_id, ct_tag
    FROM change_tag
    WHERE ct_tag IN('android app edit', 'mobile app edit')
  ) AS android_edits ON description_edits.rev_id = android_edits.ct_rev_id
  GROUP BY rev_user
) AS android_app_users_wd_desc_edit_counts
GROUP BY wikidata_description_edits;
SQL

Checking query status...
