jenkins-bot has submitted this change and it was merged.
Change subject: Update gitweb/gitblit RSS
......................................................................
Update gitweb/gitblit RSS
Change-Id: I165c31e8f819e7460c00a935188ecea363844873
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index b05f656..a1ffa0c 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -10542,8 +10542,8 @@
'http://blog.wikimedia.org/c/communications/picture-of-the-day/feed/',
),
'mediawikiwiki' => array(
-
'https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/Translate.git&a=rss',
'http://blog.wikimedia.org/feed/',
+
'https://git.wikimedia.org/feed/mediawiki/extensions/Translate.git',
),
),
--
To view, visit https://gerrit.wikimedia.org/r/68415
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I165c31e8f819e7460c00a935188ecea363844873
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
