curl -s "https://gerrit.wikimedia.org/mediawiki-extensions.txt" currently reports three repositories that cannot be cloned.
Example: git clone ssh://l10n-bot@gerrit.wikimedia.org:29418/mediawiki/extensions/TranslationNotifcations.git
This causes a command like to following to never complete:
for i in curl -s "https://gerrit.wikimedia.org/mediawiki-extensions.txt"
do
git clone ssh://l10n-bot@gerrit.wikimedia.org:29418/mediawiki/extensions/$i.git
done
In translatewiki.net, MediaWiki extension localisation support relies heavily on this file, and if there is an issue with it, our work-flow breaks. In these cases, we are forced to filter this list locally. Two issues were already known, and with the recent addition of AdManager, a 3rd one is added to that list now.
The following projects are not visible in https://gerrit.wikimedia.org/r/#/admin/projects/, and subsequently, should also not be part of mediawiki-extensions.txt.
- AdManager
- SelectTag.tag
- TranslationNotifcations
WMF Gerrit application managers promised this would be a thing of the past after the latest upgrade, but obviously it is not.
Please fix.
Version: unspecified
Severity: blocker
URL: https://gerrit.wikimedia.org/mediawiki-extensions.txt