[MediaWiki-commits] [Gerrit] Updated ZeroBanner Portal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/176719 Change subject: Updated ZeroBanner Portal to master .. Updated ZeroBanner Portal to master Change-Id: I29644d348b6e12ce3c83a17aabb15716264e9a64 --- M extensions/ZeroBanner M extensions/ZeroPortal 2 files changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/19/176719/1 diff --git a/extensions/ZeroBanner b/extensions/ZeroBanner index 92253eb..04c1388 16 --- a/extensions/ZeroBanner +++ b/extensions/ZeroBanner -Subproject commit 92253eb6b7d5696bb1a4fb5a676d47ac0205b51d +Subproject commit 04c1388b9d83baa697dcad54e16d78935fb6f974 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 5740c76..193e2cb 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 5740c7631201d833e75afd43bc1e9aed8ef5158d +Subproject commit 193e2cb7e078b2d64bf0c5a6a666a57289cdbf79 -- To view, visit https://gerrit.wikimedia.org/r/176719 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I29644d348b6e12ce3c83a17aabb15716264e9a64 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 ZeroBanner Portal to master - change (mediawiki/core)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/176720 Change subject: Updated ZeroBanner Portal to master .. Updated ZeroBanner Portal to master Change-Id: I095027e0d9d3c0af9c2019111be918e062bde578 --- M extensions/ZeroBanner M extensions/ZeroPortal 2 files changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/20/176720/1 diff --git a/extensions/ZeroBanner b/extensions/ZeroBanner index fdb0dba..04c1388 16 --- a/extensions/ZeroBanner +++ b/extensions/ZeroBanner -Subproject commit fdb0dba8aec41caeefe857236b20175eaece5f7a +Subproject commit 04c1388b9d83baa697dcad54e16d78935fb6f974 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index cf122c2..193e2cb 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit cf122c2b659e081f8cc0795dcca210a9117787f6 +Subproject commit 193e2cb7e078b2d64bf0c5a6a666a57289cdbf79 -- To view, visit https://gerrit.wikimedia.org/r/176720 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I095027e0d9d3c0af9c2019111be918e062bde578 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf9 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 ZeroBanner Portal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroBanner Portal to master .. Updated ZeroBanner Portal to master Change-Id: I29644d348b6e12ce3c83a17aabb15716264e9a64 --- M extensions/ZeroBanner M extensions/ZeroPortal 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroBanner b/extensions/ZeroBanner index 92253eb..04c1388 16 --- a/extensions/ZeroBanner +++ b/extensions/ZeroBanner -Subproject commit 92253eb6b7d5696bb1a4fb5a676d47ac0205b51d +Subproject commit 04c1388b9d83baa697dcad54e16d78935fb6f974 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index 5740c76..193e2cb 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit 5740c7631201d833e75afd43bc1e9aed8ef5158d +Subproject commit 193e2cb7e078b2d64bf0c5a6a666a57289cdbf79 -- To view, visit https://gerrit.wikimedia.org/r/176719 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I29644d348b6e12ce3c83a17aabb15716264e9a64 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 ZeroBanner Portal to master - change (mediawiki/core)
jenkins-bot has submitted this change and it was merged. Change subject: Updated ZeroBanner Portal to master .. Updated ZeroBanner Portal to master Change-Id: I095027e0d9d3c0af9c2019111be918e062bde578 --- M extensions/ZeroBanner M extensions/ZeroPortal 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ZeroBanner b/extensions/ZeroBanner index fdb0dba..04c1388 16 --- a/extensions/ZeroBanner +++ b/extensions/ZeroBanner -Subproject commit fdb0dba8aec41caeefe857236b20175eaece5f7a +Subproject commit 04c1388b9d83baa697dcad54e16d78935fb6f974 diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index cf122c2..193e2cb 16 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit cf122c2b659e081f8cc0795dcca210a9117787f6 +Subproject commit 193e2cb7e078b2d64bf0c5a6a666a57289cdbf79 -- To view, visit https://gerrit.wikimedia.org/r/176720 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I095027e0d9d3c0af9c2019111be918e062bde578 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf9 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