1
0
Fork 0

wikimedia-operations: add topranks to ops

Change-Id: I2276c6450e8ae06a377941a8190e916fe35f5836
This commit is contained in:
jbond 2022-05-30 10:23:07 +02:00
parent 459138f41b
commit 9338e8dccd

View file

@ -31,6 +31,7 @@ ops = [
"sbassett", "sbassett",
"shdubsh", "shdubsh",
"thcipriani", "thcipriani",
"topranks",
"Urbanecm", "Urbanecm",
"vgutierrez", "vgutierrez",
"volans", "volans",