Page MenuHomePhabricator

State of mediawiki/debian gerrit repository?
Closed, ResolvedPublic


mediawiki/debian Gerrit repo is for Debian packaging of MediaWiki. The last changes were made in June 2019 for MediaWiki 1.31.2 ( ) and we are now at 1.31.7.

Based on the package informations at , it seems it is now maintained on the Debian infrastructure at

So I guess we should be able to archive mediawiki/debian in Gerrit and unconfigure it from CI?

@Legoktm is the author of most/all changes in Gerrit.