No results:

• https://codesearch.wmcloud.org/search/?q=ArclampStaleLog&i=nope&files=&excludeFiles=&repos=

Found via GitHub mirror:

• https://github.com/search?q=org%3Awikimedia+ArclampStaleLog&type=code

I believe that in practice, operations/* is the only repository namespace that both has regularly created repos and yet is not covered by any wildcard discovery in Codesearch (I guess due to the many ops repos we host/mirror, that we do not want to index for practical reasons). Perhaps this should be added to some kind of runbook or process somewhere, so that we don't rely on others to observe this:

• T303434: Add operations/software/purged to Codesearch
• T266909: Codesearch doesn't index operations/deployment-charts
• T286845: Add operations/software/tools-webservice.git to MediaWiki Codesearch
• T231195: Please add operations/software/conftool repo to 'Wikimedia operations' section
• T186137: Add some operations repositories to codesearch