Page MenuHomePhabricator

State of mediawiki/debian gerrit repository?
Closed, ResolvedPublic

Description

mediawiki/debian Gerrit repo is for Debian packaging of MediaWiki. The last changes were made in June 2019 for MediaWiki 1.31.2 (https://gerrit.wikimedia.org/r/#/q/project:mediawiki/debian ) and we are now at 1.31.7.

Based on the package informations at https://tracker.debian.org/pkg/mediawiki , it seems it is now maintained on the Debian infrastructure at https://salsa.debian.org/mediawiki-team/mediawiki

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.