Trying to reproduce T157688 after https://phabricator.wikimedia.org/T157898#3124564 (and failing, yay!), I saw under "Attracted Developers" Zppix listed as "First Commit Date: Jan 20th 2017".
But looking at https://wikimedia.biterg.io:443/goto/c9887475fddc1d573ed3bec2f397b43f it seems there have been successful merges into labs/tools/grrrit and labs/tools/ZppixBot before that date.
Do we actually index those repositories?
T146135 also comes to my mind (that's about blacklisting, but if that's ignored maybe our whitelist also has issues?)