"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.