"stud" appears in http://korma.wmflabs.org/browser/gerrit_review_queue.html but I cannot find in the gerrit web ui or anywhere else. Looking at
it seems that it is quite irrelevant from a code review point of view. If the repo doesn't exist, then it should not appear in korma.
There are probably more repos obsolete. The list so far:
- mediawiki/extensions/ExternalArticles (stuck at the top of the list because of a bug in... our Gerrit instance? The repo is inactive and it is better to remove it than to keep it here.
- operations/debs/stud
- operations/puppet/varnish
- operations/debs/python-statsd
See also:
T103984: Exclude certain repositories (upstream / inactive) from Gerrit metrics by blacklisting
T104845: Automated generation of (Gerrit) repositories for Korma