[16:51:19] Someone wants admin rights on mediawiki.org - https://www.mediawiki.org/wiki/Project:Requests/User_rights/Edokter [20:00:49] Why does "ssh -p 29418 krenair@gerrit.wikimedia.org gerrit query project:^mediawiki/.* --format json" return a row count of 604? [20:02:37] ... And why does adding "status:merged" to the query make it return 5000? [20:10:38] In the web UI why does searching for "project:^mediawiki/.* status:open OR status:merged" return Internal Server Error? [20:34:51] Krenair: why don't you remove status: instead? [20:36:12] Nemo_bis, and just query "project:^mediawiki/.*"? [20:37:47] Krenair: isn't that what you want? [20:37:52] Yes [20:37:56] But then I only get 604 results [20:38:00] New patchset: Hashar; "whitelist btongminh (Bryan Tong Minh)" [integration/zuul-config] (master) - https://gerrit.wikimedia.org/r/39850 [20:38:15] For some weird reason, limiting it to merged changes (by adding "status:merged") makes it return 5000 results [20:38:17] Which makes no sense [20:38:18] At all