"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 [[ https://gerrit.wikimedia.org/r/#/c/66223/ | a bug ]] in... our Gerrit instance? The repo is [[ https://gerrit.wikimedia.org/r/#/q/status:open+project:mediawiki/extensions/ExternalArticles,n,z | inactive ]] and it is better to remove it than to keep it here.