We have a bunch of repositories registered in `mediawiki/extensions.git` that have never been used. I don't think there is any point in keeping them:
```
for repo in BSExtendedSearch ChemPF DetectLanguage Dice GPGMail InterwikiMap IssueTracker MassMessageEmail ORES PhpTagsDebugger PlanOut ProxyListDb RawImageHandler ReorderParserPhases SMWEnrich SearchRealnames SemanticDummyEditor ShortUrlApi ValueView VideoJsPlayer ViewportMetrics WebCache WikiPinger WikibaseClient WikibaseLib WikibaseView Workflow; do echo -n "| $repo "; git -C $repo log -n1 --format="| %h | %ai | %an | %s |"; done;
```
| Extension | Last commit | Last commit date | Commit author | Commit subject
|--|--|--|--|--
| BSExtendedSearch | e7f13d3 | 2015-06-18 01:20:53 +0200 | Christian Aistleitner | Add .gitreview |
| ChemPF | 00d57c7 | 2015-06-15 12:11:27 +0200 | Christian Aistleitner | Add .gitreview |
| DetectLanguage | fff49d3 | 2014-09-12 09:18:36 +0200 | Christian Aistleitner | Add .gitreview |
| Dice | 420d062 | 2012-05-21 16:25:05 +0000 | Siebrand | Merge "Add .gitignore" |
| InterwikiMap | 082e772 | 2012-11-21 16:34:44 +0000 | Reedy | Add .gitreview and .gitignore |
| IssueTracker | ca0867e | 2013-10-23 13:05:55 +0200 | Christian Aistleitner | Add .gitreview |
| MassMessageEmail | 57e7cef | 2015-05-05 10:24:54 +0200 | Christian Aistleitner | Add .gitreview |
| ORES | e0e3a07 | 2015-08-05 10:29:08 +0200 | Christian Aistleitner | Add .gitreview |
| PhpTagsDebugger | 08ed5ff | 2014-01-28 12:19:16 +0100 | Christian Aistleitner | Add .gitreview |
| PlanOut | e0b4383 | 2014-11-13 11:26:14 -0800 | Ori Livneh | Initial commit |
| ProxyListDb | b4272d3 | 2012-08-30 23:02:29 +0100 | Reedy | Add .gitignore and .gitreview |
| RawImageHandler | 75bac54 | 2015-04-01 13:00:12 +0200 | Christian Aistleitner | Add .gitreview |
| ReorderParserPhases | 1701ad9 | 2014-05-03 16:55:20 +0200 | Christian Aistleitner | Add .gitreview |
| SMWEnrich | ee87cc2 | 2015-04-24 23:42:17 +0200 | Christian Aistleitner | Add .gitreview |
| SearchRealnames | 00c52a1 | 2013-06-02 03:08:25 +0100 | Reedy | Add .gitreview and .gitignore |
| SemanticDummyEditor | ff7d5b4 | 2014-06-18 11:12:13 +0200 | Christian Aistleitner | Add .gitreview |
| ShortUrlApi | d4c3236 | 2014-10-04 23:16:01 -0400 | Mark A. Hershberger | .gitreview |
| ValueView | c96e5b3 | 2013-07-10 23:06:48 +0100 | Reedy | Add .gitreview and .gitignore |
| VideoJsPlayer | 192092e | 2014-01-02 09:03:12 +0100 | Christian Aistleitner | Add .gitreview |
| ViewportMetrics | adaa784 | 2014-11-20 11:08:37 +0100 | Christian Aistleitner | Add .gitreview |
| WebCache | 27c3005 | 2014-05-22 20:24:28 +0200 | Christian Aistleitner | Add .gitreview |
| WikiPinger | 4076623 | 2015-05-31 20:50:47 +0200 | Christian Aistleitner | Add .gitreview |
| WikibaseClient | 6114fb9 | 2014-02-28 01:14:42 +0000 | Reedy | Add .gitreview and .gitignore |
| WikibaseLib | f0d9a03 | 2014-02-28 01:14:51 +0000 | Reedy | Add .gitreview and .gitignore |
| WikibaseView | 01cf625 | 2015-01-15 15:15:45 +0100 | Christian Aistleitner | Add .gitreview |
| Workflow | 58a1df0 | 2014-01-13 11:42:22 +0100 | Christian Aistleitner | Add .gitreview |
That causes a bunch of overhead for CI maintenance and anyone having a clone of mediawiki/extensions.git