All female editors on German Wikipedia, sorted by user_id

SQL

USE dewiki_p;
SELECT
 user_name,
 edits_after
FROM user
JOIN user_properties ON user_properties.up_user = user.user_id
INNER JOIN (SELECT
             rev_user_text AS edit_username,
             COUNT(rev_id) AS edits_after
            FROM revision_compat
            WHERE rev_timestamp > "20230101000000"
            GROUP BY edit_username
           ) AS last_edits
           ON user.user_name = edit_username
WHERE (NOT EXISTS ( SELECT * FROM user_properties WHERE user_properties.up_user = user.user_id AND user_properties.up_property = "disablemail" ) )
AND user_properties.up_value = "female"
AND edits_after >= "1"
ORDER BY edits_after DESC
LIMIT 100000;

SQL

Checking query status...