jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/375546 )
Change subject: Blacklist mediawiki/extensions/MediaWikiFarm
......................................................................
Blacklist mediawiki/extensions/MediaWikiFarm
Change-Id: Id3e2c5420fcb785ffc1db70a36ef84fc01ea3d93
---
M upgrade.py
1 file changed, 6 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/upgrade.py b/upgrade.py
index 193d70f..db76944 100755
--- a/upgrade.py
+++ b/upgrade.py
@@ -33,6 +33,10 @@
'mediawiki/skins/MonoBook',
'oojs/ui',
]
+BLACKLIST = [
+ # Per https://gerrit.wikimedia.org/r/375513
+ 'mediawiki/extensions/MediaWikiFarm',
+]
def run(repo: str, library: str, version: str, pw: str) -> str:
@@ -60,7 +64,8 @@
def get_extension_list(library, version_match):
for info in mw.get_extension_list(library, version_match):
- yield info['repo']
+ if info['repo'] not in BLACKLIST:
+ yield info['repo']
def main():
--
To view, visit https://gerrit.wikimedia.org/r/375546
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id3e2c5420fcb785ffc1db70a36ef84fc01ea3d93
Gerrit-PatchSet: 1
Gerrit-Project: labs/libraryupgrader
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
