jenkins-bot has submitted this change and it was merged.
Change subject: Configure 'sourceUrl' for ExtensionDistributor
......................................................................
Configure 'sourceUrl' for ExtensionDistributor
Change-Id: I01808c54e220aebbd4d79b08aca80b816a2b0476
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 610d5f8..60e1ad1 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -930,6 +930,7 @@
'tarballUrl' =>
'https://extdist.wmflabs.org/dist/$TYPE/$EXT-$REF-$SHA.tar.gz',
'tarballName' => '$EXT-$REF-$SHA.tar.gz',
'repoListUrl' =>
'https://gerrit.wikimedia.org/r/projects/?p=mediawiki/$TYPE/',
+ 'sourceUrl' =>
'https://gerrit.wikimedia.org/r/mediawiki/$TYPE/$EXT.git',
];
// Current stable release
--
To view, visit https://gerrit.wikimedia.org/r/303914
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I01808c54e220aebbd4d79b08aca80b816a2b0476
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
