[MediaWiki-commits] [Gerrit] updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/185349 Change subject: updated ZeroPortal to master .. updated ZeroPortal to master Change-Id: Id3eae352e206dcb6672b0b841eea3fd02e94c780 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/49/185349/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index f951bf6..bfb963c 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit f951bf6dfa950c73c9ca08f6f24420dc26d62652 +Subproject commit bfb963cfccc4f1094ecc9889323d83786e873fcd -- To view, visit https://gerrit.wikimedia.org/r/185349 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id3eae352e206dcb6672b0b841eea3fd02e94c780 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf15 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: updated ZeroPortal to master .. updated ZeroPortal to master Change-Id: Id3eae352e206dcb6672b0b841eea3fd02e94c780 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index f951bf6..bfb963c 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit f951bf6dfa950c73c9ca08f6f24420dc26d62652 +Subproject commit bfb963cfccc4f1094ecc9889323d83786e873fcd -- To view, visit https://gerrit.wikimedia.org/r/185349 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id3eae352e206dcb6672b0b841eea3fd02e94c780 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf15 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/181015 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: If357e8e33379efc4a9480f03f63126481357916d --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/15/181015/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 262ae00..6f85ccd 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 262ae00bf240c335294789072f81122bb7d50ae4 +Subproject commit 6f85ccda88fe1d74024531affa712f14c6afda05 -- To view, visit https://gerrit.wikimedia.org/r/181015 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If357e8e33379efc4a9480f03f63126481357916d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
MaxSem has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: If357e8e33379efc4a9480f03f63126481357916d --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Verified; Looks good to me, approved diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 262ae00..6f85ccd 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 262ae00bf240c335294789072f81122bb7d50ae4 +Subproject commit 6f85ccda88fe1d74024531affa712f14c6afda05 -- To view, visit https://gerrit.wikimedia.org/r/181015 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If357e8e33379efc4a9480f03f63126481357916d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: MaxSem maxsem.w...@gmail.com Gerrit-Reviewer: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: If475b55fab7371d2316026f14cc036add7d94cef --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Verified; Looks good to me, approved diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 6f85ccd..0ea91d0 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 6f85ccda88fe1d74024531affa712f14c6afda05 +Subproject commit 0ea91d0085875e048259abaf672412ed1b9cc375 -- To view, visit https://gerrit.wikimedia.org/r/181023 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If475b55fab7371d2316026f14cc036add7d94cef Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/181023 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: If475b55fab7371d2316026f14cc036add7d94cef --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/23/181023/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 6f85ccd..0ea91d0 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 6f85ccda88fe1d74024531affa712f14c6afda05 +Subproject commit 0ea91d0085875e048259abaf672412ed1b9cc375 -- To view, visit https://gerrit.wikimedia.org/r/181023 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If475b55fab7371d2316026f14cc036add7d94cef Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/181025 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: If1781328a06c941acafc633de41219e89321868f --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/25/181025/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 0ea91d0..6bc496e 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 0ea91d0085875e048259abaf672412ed1b9cc375 +Subproject commit 6bc496e4ad016fb1ea231ff7c17f424fd3c33bcd -- To view, visit https://gerrit.wikimedia.org/r/181025 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If1781328a06c941acafc633de41219e89321868f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: If1781328a06c941acafc633de41219e89321868f --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Verified; Looks good to me, approved diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 0ea91d0..6bc496e 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 0ea91d0085875e048259abaf672412ed1b9cc375 +Subproject commit 6bc496e4ad016fb1ea231ff7c17f424fd3c33bcd -- To view, visit https://gerrit.wikimedia.org/r/181025 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If1781328a06c941acafc633de41219e89321868f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/180103 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I4970d033811c8193211d7786298201508f6b9d69 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/03/180103/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 528df98..c43eac5 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 528df983d37fde27a51fa78a0a7564e14f29b5e1 +Subproject commit c43eac556b69d7196bfa5a8bde9ce524029b1696 -- To view, visit https://gerrit.wikimedia.org/r/180103 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I4970d033811c8193211d7786298201508f6b9d69 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf12 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I4970d033811c8193211d7786298201508f6b9d69 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 528df98..c43eac5 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 528df983d37fde27a51fa78a0a7564e14f29b5e1 +Subproject commit c43eac556b69d7196bfa5a8bde9ce524029b1696 -- To view, visit https://gerrit.wikimedia.org/r/180103 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4970d033811c8193211d7786298201508f6b9d69 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf12 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/179396 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: Ic9518723bba6e7b086164117a5d51154b3629185 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/96/179396/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index a6db6c0..528df98 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit a6db6c087d492aaa04ac16acf37f89cfdc3ce08e +Subproject commit 528df983d37fde27a51fa78a0a7564e14f29b5e1 -- To view, visit https://gerrit.wikimedia.org/r/179396 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic9518723bba6e7b086164117a5d51154b3629185 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf12 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: Ic9518723bba6e7b086164117a5d51154b3629185 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index a6db6c0..528df98 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit a6db6c087d492aaa04ac16acf37f89cfdc3ce08e +Subproject commit 528df983d37fde27a51fa78a0a7564e14f29b5e1 -- To view, visit https://gerrit.wikimedia.org/r/179396 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic9518723bba6e7b086164117a5d51154b3629185 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf12 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/177140 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I7d0d7d4886141f1a31322337a50761418c07ec42 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/40/177140/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 193e2cb..2fb5c62 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 193e2cb7e078b2d64bf0c5a6a666a57289cdbf79 +Subproject commit 2fb5c62c90860a0d550eedea436cc06e9874e92a -- To view, visit https://gerrit.wikimedia.org/r/177140 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7d0d7d4886141f1a31322337a50761418c07ec42 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf10 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I7d0d7d4886141f1a31322337a50761418c07ec42 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 193e2cb..2fb5c62 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 193e2cb7e078b2d64bf0c5a6a666a57289cdbf79 +Subproject commit 2fb5c62c90860a0d550eedea436cc06e9874e92a -- To view, visit https://gerrit.wikimedia.org/r/177140 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7d0d7d4886141f1a31322337a50761418c07ec42 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf10 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/173001 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: Ib653999ee08399c99223cb1d9af20b57923f76bb --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/01/173001/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 4b889c7..4cac813 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 4b889c77be5c1bd26c9da45a373111acc1ba55ee +Subproject commit 4cac813903f2666d73cad1bc6e8233b21644774e -- To view, visit https://gerrit.wikimedia.org/r/173001 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib653999ee08399c99223cb1d9af20b57923f76bb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf8 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: Ib653999ee08399c99223cb1d9af20b57923f76bb --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Verified; Looks good to me, approved diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 4b889c7..4cac813 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 4b889c77be5c1bd26c9da45a373111acc1ba55ee +Subproject commit 4cac813903f2666d73cad1bc6e8233b21644774e -- To view, visit https://gerrit.wikimedia.org/r/173001 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib653999ee08399c99223cb1d9af20b57923f76bb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf8 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/169922 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I8f8a48b21472fe22c4cf4be5f08a27154c6d798e --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/22/169922/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 7b0de38..3b71ad1 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 7b0de38e890649a8bbaebe4b977b862ccd74a5c8 +Subproject commit 3b71ad1590e0dbc1b23b6eb945734e69f2a83b14 -- To view, visit https://gerrit.wikimedia.org/r/169922 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8f8a48b21472fe22c4cf4be5f08a27154c6d798e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf6 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/169923 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I67f77da1245eb9362c7f776be70dc37bc84eda27 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/23/169923/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 65cae35..3b71ad1 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 65cae35723ed75d3975b7d9d47256f5cb6ed60ff +Subproject commit 3b71ad1590e0dbc1b23b6eb945734e69f2a83b14 -- To view, visit https://gerrit.wikimedia.org/r/169923 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I67f77da1245eb9362c7f776be70dc37bc84eda27 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf5 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I67f77da1245eb9362c7f776be70dc37bc84eda27 --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 65cae35..3b71ad1 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 65cae35723ed75d3975b7d9d47256f5cb6ed60ff +Subproject commit 3b71ad1590e0dbc1b23b6eb945734e69f2a83b14 -- To view, visit https://gerrit.wikimedia.org/r/169923 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I67f77da1245eb9362c7f776be70dc37bc84eda27 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf5 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I8f8a48b21472fe22c4cf4be5f08a27154c6d798e --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 7b0de38..3b71ad1 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 7b0de38e890649a8bbaebe4b977b862ccd74a5c8 +Subproject commit 3b71ad1590e0dbc1b23b6eb945734e69f2a83b14 -- To view, visit https://gerrit.wikimedia.org/r/169922 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8f8a48b21472fe22c4cf4be5f08a27154c6d798e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf6 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/166792 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I65aee1023958399c6b22770a9b81c832413a31dd --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/92/166792/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 53ea1ae..3215c45 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 53ea1aeac918f1486663c12b7e1d570eefa75d9f +Subproject commit 3215c4598eb0f6ee21e57cb1c97c4e986a277c26 -- To view, visit https://gerrit.wikimedia.org/r/166792 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I65aee1023958399c6b22770a9b81c832413a31dd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf2 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/166794 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I3d6acbc0d38f4731e6f091de103e5eba31650bdc --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/94/166794/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 1aca020..3215c45 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 1aca020eb86d2b4e64f3c99b220c749ee98c493e +Subproject commit 3215c4598eb0f6ee21e57cb1c97c4e986a277c26 -- To view, visit https://gerrit.wikimedia.org/r/166794 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I3d6acbc0d38f4731e6f091de103e5eba31650bdc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf3 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I65aee1023958399c6b22770a9b81c832413a31dd --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 53ea1ae..3215c45 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 53ea1aeac918f1486663c12b7e1d570eefa75d9f +Subproject commit 3215c4598eb0f6ee21e57cb1c97c4e986a277c26 -- To view, visit https://gerrit.wikimedia.org/r/166792 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I65aee1023958399c6b22770a9b81c832413a31dd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf2 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Reedy has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I3d6acbc0d38f4731e6f091de103e5eba31650bdc --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 1aca020..3215c45 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 1aca020eb86d2b4e64f3c99b220c749ee98c493e +Subproject commit 3215c4598eb0f6ee21e57cb1c97c4e986a277c26 -- To view, visit https://gerrit.wikimedia.org/r/166794 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3d6acbc0d38f4731e6f091de103e5eba31650bdc Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf3 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Reedy re...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/161088 Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I360b7ea2fe0cf6a4c33488feee9a82c4daea9ebb --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/88/161088/1 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index f3910fe..2a9013e 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit f3910fe123556a3d1ade0d7fbb1e05bc28820d70 +Subproject commit 2a9013e4da8a2b02f5ae2fca36a543d7ca71f00e -- To view, visit https://gerrit.wikimedia.org/r/161088 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I360b7ea2fe0cf6a4c33488feee9a82c4daea9ebb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.24wmf21 Gerrit-Owner: Yurik yu...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updated ZeroPortal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroPortal to master .. Updated ZeroPortal to master Change-Id: I360b7ea2fe0cf6a4c33488feee9a82c4daea9ebb --- M extensions/ZeroPortal 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index f3910fe..2a9013e 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit f3910fe123556a3d1ade0d7fbb1e05bc28820d70 +Subproject commit 2a9013e4da8a2b02f5ae2fca36a543d7ca71f00e -- To view, visit https://gerrit.wikimedia.org/r/161088 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I360b7ea2fe0cf6a4c33488feee9a82c4daea9ebb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.24wmf21 Gerrit-Owner: Yurik yu...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits