[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Bump portals to master .. Bump portals to master Release to Production: Prominent Search Box with type-ahead (metadata/images in search results) Bug: T125472 Change-Id: Ibb2bd0a4f73682be12741e2b70d9fc800cec0706 --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/portals b/portals index 2e57bfb..b9c60d0 16 --- a/portals +++ b/portals -Subproject commit 2e57bfbd83acce979a25bf213dfd9b44310e3ec2 +Subproject commit b9c60d0f0c67bf02ac4c5cc904c4037c54b90981 -- To view, visit https://gerrit.wikimedia.org/r/276094 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibb2bd0a4f73682be12741e2b70d9fc800cec0706 Gerrit-PatchSet: 3 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault Gerrit-Reviewer: Catrope Gerrit-Reviewer: Jdrewniak Gerrit-Reviewer: MaxSem Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
JGirault has uploaded a new change for review. https://gerrit.wikimedia.org/r/276094 Change subject: Bump portals to master .. Bump portals to master Release to Production: Prominent Search Box with type-ahead (metadata/images in search results) Bug: T125472 Change-Id: Ibb2bd0a4f73682be12741e2b70d9fc800cec0706 --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/94/276094/1 diff --git a/portals b/portals index 2e57bfb..af01e3b 16 --- a/portals +++ b/portals -Subproject commit 2e57bfbd83acce979a25bf213dfd9b44310e3ec2 +Subproject commit af01e3bf5850317b60ee6e1ec55125a767acc373 -- To view, visit https://gerrit.wikimedia.org/r/276094 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ibb2bd0a4f73682be12741e2b70d9fc800cec0706 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master. - change (operations/mediawiki-config)
Alex Monk has submitted this change and it was merged. Change subject: Bump portals to master. .. Bump portals to master. Updates all portals stats (wikipedia.org and sister portals) Bug: T128522 Change-Id: Ibf8a8e0585e3eace6a056bd86b74042a2bc74c0b --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Alex Monk: Verified; Looks good to me, approved diff --git a/portals b/portals index 7dca470..2e57bfb 16 --- a/portals +++ b/portals -Subproject commit 7dca4704600d64a31bdd4502d61ed5a99275294b +Subproject commit 2e57bfbd83acce979a25bf213dfd9b44310e3ec2 -- To view, visit https://gerrit.wikimedia.org/r/274316 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibf8a8e0585e3eace6a056bd86b74042a2bc74c0b Gerrit-PatchSet: 3 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault Gerrit-Reviewer: Alex Monk Gerrit-Reviewer: JGirault Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master. - change (operations/mediawiki-config)
JGirault has uploaded a new change for review. https://gerrit.wikimedia.org/r/274316 Change subject: Bump portals to master. .. Bump portals to master. Updates all portals stats (wikipedia.org and sister portals) Bug: T128522 Change-Id: Ibf8a8e0585e3eace6a056bd86b74042a2bc74c0b --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/16/274316/1 diff --git a/portals b/portals index 7dca470..2e57bfb 16 --- a/portals +++ b/portals -Subproject commit 7dca4704600d64a31bdd4502d61ed5a99275294b +Subproject commit 2e57bfbd83acce979a25bf213dfd9b44310e3ec2 -- To view, visit https://gerrit.wikimedia.org/r/274316 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ibf8a8e0585e3eace6a056bd86b74042a2bc74c0b Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
JGirault has uploaded a new change for review. https://gerrit.wikimedia.org/r/268713 Change subject: Bump portals to master .. Bump portals to master Change-Id: I8b901dde1ec923cbef0ac0738343d15640a1d257 --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/13/268713/1 diff --git a/portals b/portals index c0a8f67..062945e 16 --- a/portals +++ b/portals -Subproject commit c0a8f678497630a23e84558b5e71f66ef38e93ee +Subproject commit 062945ed350aa4bb5d98a3a69155364475844539 -- To view, visit https://gerrit.wikimedia.org/r/268713 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8b901dde1ec923cbef0ac0738343d15640a1d257 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Bump portals to master .. Bump portals to master Change-Id: I38456c4d70fd93c5c109217df703919b3b498ffd --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Thcipriani: Looks good to me, approved jenkins-bot: Verified diff --git a/portals b/portals index f409e46..551a95c 16 --- a/portals +++ b/portals -Subproject commit f409e466d84c73a25232df280a9592d5be3406f3 +Subproject commit 551a95c80bb0fe9055043c274bcad236833cba1a -- To view, visit https://gerrit.wikimedia.org/r/259176 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I38456c4d70fd93c5c109217df703919b3b498ffd Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault Gerrit-Reviewer: Chad Gerrit-Reviewer: EBernhardson Gerrit-Reviewer: Thcipriani Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
JGirault has uploaded a new change for review. https://gerrit.wikimedia.org/r/259176 Change subject: Bump portals to master .. Bump portals to master Change-Id: I38456c4d70fd93c5c109217df703919b3b498ffd --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/76/259176/1 diff --git a/portals b/portals index f409e46..551a95c 16 --- a/portals +++ b/portals -Subproject commit f409e466d84c73a25232df280a9592d5be3406f3 +Subproject commit 551a95c80bb0fe9055043c274bcad236833cba1a -- To view, visit https://gerrit.wikimedia.org/r/259176 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I38456c4d70fd93c5c109217df703919b3b498ffd Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Bump portals to master .. Bump portals to master Change-Id: Ifee5b15bb77fe5c59cf625f7f17ad98f5ec6de86 --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/portals b/portals index ff08e08..f409e46 16 --- a/portals +++ b/portals -Subproject commit ff08e088dc7f87938e7682098c78afd3fd4f17f3 +Subproject commit f409e466d84c73a25232df280a9592d5be3406f3 -- To view, visit https://gerrit.wikimedia.org/r/258246 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ifee5b15bb77fe5c59cf625f7f17ad98f5ec6de86 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: EBernhardson Gerrit-Reviewer: Catrope Gerrit-Reviewer: Chad Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Bump portals to master - change (operations/mediawiki-config)
EBernhardson has uploaded a new change for review. https://gerrit.wikimedia.org/r/258246 Change subject: Bump portals to master .. Bump portals to master Change-Id: Ifee5b15bb77fe5c59cf625f7f17ad98f5ec6de86 --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/46/258246/1 diff --git a/portals b/portals index ff08e08..f409e46 16 --- a/portals +++ b/portals -Subproject commit ff08e088dc7f87938e7682098c78afd3fd4f17f3 +Subproject commit f409e466d84c73a25232df280a9592d5be3406f3 -- To view, visit https://gerrit.wikimedia.org/r/258246 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ifee5b15bb77fe5c59cf625f7f17ad98f5ec6de86 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: EBernhardson ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
