[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2018-01-15 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/404275 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: Ib7767665975c4131935165133a4bbd3131b81b2c
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdrewniak: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index bd2df96..e3068b2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit bd2df96cd466d7757c166c9f945eaadd42af74ce
+Subproject commit e3068b263d4b89ea7168b525ee1aa707b7e0f24a

-- 
To view, visit https://gerrit.wikimedia.org/r/404275
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib7767665975c4131935165133a4bbd3131b81b2c
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2018-01-15 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/404275 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: Ib7767665975c4131935165133a4bbd3131b81b2c
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/75/404275/1

diff --git a/portals b/portals
index bd2df96..e3068b2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit bd2df96cd466d7757c166c9f945eaadd42af74ce
+Subproject commit e3068b263d4b89ea7168b525ee1aa707b7e0f24a

-- 
To view, visit https://gerrit.wikimedia.org/r/404275
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib7767665975c4131935165133a4bbd3131b81b2c
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2018-01-08 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/402805 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I4458f9319883b3affd9f543cc18ec975e9907953
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdrewniak: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 56f5b96..bd2df96 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 56f5b9641293a9105edadee5b7a144f6a74154f0
+Subproject commit bd2df96cd466d7757c166c9f945eaadd42af74ce

-- 
To view, visit https://gerrit.wikimedia.org/r/402805
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4458f9319883b3affd9f543cc18ec975e9907953
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2018-01-08 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/402805 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I4458f9319883b3affd9f543cc18ec975e9907953
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/05/402805/1

diff --git a/portals b/portals
index 56f5b96..bd2df96 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 56f5b9641293a9105edadee5b7a144f6a74154f0
+Subproject commit bd2df96cd466d7757c166c9f945eaadd42af74ce

-- 
To view, visit https://gerrit.wikimedia.org/r/402805
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I4458f9319883b3affd9f543cc18ec975e9907953
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-12-13 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/398045 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I6ddeb799eee9f667d2176509ed596cf30cc674e1
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Zfilipin: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 9be4326..56f5b96 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 9be4326a42864a1bfd88a12615bb5acd23141cea
+Subproject commit 56f5b9641293a9105edadee5b7a144f6a74154f0

-- 
To view, visit https://gerrit.wikimedia.org/r/398045
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6ddeb799eee9f667d2176509ed596cf30cc674e1
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zfilipin 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-12-13 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/398045 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I6ddeb799eee9f667d2176509ed596cf30cc674e1
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/45/398045/1

diff --git a/portals b/portals
index 9be4326..56f5b96 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 9be4326a42864a1bfd88a12615bb5acd23141cea
+Subproject commit 56f5b9641293a9105edadee5b7a144f6a74154f0

-- 
To view, visit https://gerrit.wikimedia.org/r/398045
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I6ddeb799eee9f667d2176509ed596cf30cc674e1
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-12-11 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/397472 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I8c970abf8173eca7bf9923d35747c2d0b09c420c
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdrewniak: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 7688ccd..9be4326 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 7688ccdef40873fe7d7b7f07b6fc3f9731602403
+Subproject commit 9be4326a42864a1bfd88a12615bb5acd23141cea

-- 
To view, visit https://gerrit.wikimedia.org/r/397472
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8c970abf8173eca7bf9923d35747c2d0b09c420c
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-12-11 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/397472 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I8c970abf8173eca7bf9923d35747c2d0b09c420c
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/72/397472/1

diff --git a/portals b/portals
index 7688ccd..9be4326 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 7688ccdef40873fe7d7b7f07b6fc3f9731602403
+Subproject commit 9be4326a42864a1bfd88a12615bb5acd23141cea

-- 
To view, visit https://gerrit.wikimedia.org/r/397472
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I8c970abf8173eca7bf9923d35747c2d0b09c420c
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-12-04 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/394964 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I3713cb8ab43075e6e934a319cff3b223aa4d02fc
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdrewniak: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 746bea0..7688ccd 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 746bea03de87bb8be36996b6a114e21592d5cd2d
+Subproject commit 7688ccdef40873fe7d7b7f07b6fc3f9731602403

-- 
To view, visit https://gerrit.wikimedia.org/r/394964
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3713cb8ab43075e6e934a319cff3b223aa4d02fc
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-12-04 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/394964 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I3713cb8ab43075e6e934a319cff3b223aa4d02fc
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/64/394964/1

diff --git a/portals b/portals
index 746bea0..7688ccd 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 746bea03de87bb8be36996b6a114e21592d5cd2d
+Subproject commit 7688ccdef40873fe7d7b7f07b6fc3f9731602403

-- 
To view, visit https://gerrit.wikimedia.org/r/394964
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3713cb8ab43075e6e934a319cff3b223aa4d02fc
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-27 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/393559 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: Ic0ad2286d115a26b99fa822527c67130a417309f
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdrewniak: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index b5ca708..746bea0 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit b5ca70872f50e831ab35f1981fe46ae3aa71b1db
+Subproject commit 746bea03de87bb8be36996b6a114e21592d5cd2d

-- 
To view, visit https://gerrit.wikimedia.org/r/393559
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic0ad2286d115a26b99fa822527c67130a417309f
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-27 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/393559 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: Ic0ad2286d115a26b99fa822527c67130a417309f
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/59/393559/1

diff --git a/portals b/portals
index b5ca708..746bea0 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit b5ca70872f50e831ab35f1981fe46ae3aa71b1db
+Subproject commit 746bea03de87bb8be36996b6a114e21592d5cd2d

-- 
To view, visit https://gerrit.wikimedia.org/r/393559
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic0ad2286d115a26b99fa822527c67130a417309f
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-21 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/392636 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: Id0d84c4ddac7f3cf48d8202d0df668040d969e93
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdrewniak: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 2651daa..b5ca708 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 2651daa4bf7dc360773459e0d1100507375d70fb
+Subproject commit b5ca70872f50e831ab35f1981fe46ae3aa71b1db

-- 
To view, visit https://gerrit.wikimedia.org/r/392636
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id0d84c4ddac7f3cf48d8202d0df668040d969e93
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Jdrewniak 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-21 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/392636 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: Id0d84c4ddac7f3cf48d8202d0df668040d969e93
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/36/392636/1

diff --git a/portals b/portals
index 2651daa..b5ca708 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 2651daa4bf7dc360773459e0d1100507375d70fb
+Subproject commit b5ca70872f50e831ab35f1981fe46ae3aa71b1db

-- 
To view, visit https://gerrit.wikimedia.org/r/392636
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id0d84c4ddac7f3cf48d8202d0df668040d969e93
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-21 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/392622 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: If6cff9f904a7c4c771fc3eb453404cf53a844d62
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/22/392622/1

diff --git a/portals b/portals
index 3862e2f..b5ca708 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 3862e2f5c2c3196872b960a6e63cc5f1a70e9a2b
+Subproject commit b5ca70872f50e831ab35f1981fe46ae3aa71b1db

-- 
To view, visit https://gerrit.wikimedia.org/r/392622
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: If6cff9f904a7c4c771fc3eb453404cf53a844d62
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-20 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/392432 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: Ib0997c5dca43dac3da12e6670c4d8305da3de6fe
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Ladsgroup: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 3862e2f..2651daa 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 3862e2f5c2c3196872b960a6e63cc5f1a70e9a2b
+Subproject commit 2651daa4bf7dc360773459e0d1100507375d70fb

-- 
To view, visit https://gerrit.wikimedia.org/r/392432
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib0997c5dca43dac3da12e6670c4d8305da3de6fe
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Ladsgroup 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-11-20 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/392432 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: Ib0997c5dca43dac3da12e6670c4d8305da3de6fe
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/32/392432/1

diff --git a/portals b/portals
index 3862e2f..2651daa 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 3862e2f5c2c3196872b960a6e63cc5f1a70e9a2b
+Subproject commit 2651daa4bf7dc360773459e0d1100507375d70fb

-- 
To view, visit https://gerrit.wikimedia.org/r/392432
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib0997c5dca43dac3da12e6670c4d8305da3de6fe
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-10-30 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/387308 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I0f04bbfdedbf1a76201c3893e9ce2097416c9d87
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index c5c34ea..3862e2f 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit c5c34ea830f23f8311f4cae294c55751995e829b
+Subproject commit 3862e2f5c2c3196872b960a6e63cc5f1a70e9a2b

-- 
To view, visit https://gerrit.wikimedia.org/r/387308
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0f04bbfdedbf1a76201c3893e9ce2097416c9d87
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Thcipriani 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-10-30 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/387308 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I0f04bbfdedbf1a76201c3893e9ce2097416c9d87
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/08/387308/1

diff --git a/portals b/portals
index c5c34ea..3862e2f 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit c5c34ea830f23f8311f4cae294c55751995e829b
+Subproject commit 3862e2f5c2c3196872b960a6e63cc5f1a70e9a2b

-- 
To view, visit https://gerrit.wikimedia.org/r/387308
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0f04bbfdedbf1a76201c3893e9ce2097416c9d87
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-10-19 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/385214 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I7b5ba1cf837c464ebee1b6dbdc321dd2fb7b0963
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 20332da..c5c34ea 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 20332da496c2220a5fe62d27b22125b97224b8f4
+Subproject commit c5c34ea830f23f8311f4cae294c55751995e829b

-- 
To view, visit https://gerrit.wikimedia.org/r/385214
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7b5ba1cf837c464ebee1b6dbdc321dd2fb7b0963
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Thcipriani 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-10-19 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/385214 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I7b5ba1cf837c464ebee1b6dbdc321dd2fb7b0963
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/14/385214/1

diff --git a/portals b/portals
index 20332da..c5c34ea 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 20332da496c2220a5fe62d27b22125b97224b8f4
+Subproject commit c5c34ea830f23f8311f4cae294c55751995e829b

-- 
To view, visit https://gerrit.wikimedia.org/r/385214
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I7b5ba1cf837c464ebee1b6dbdc321dd2fb7b0963
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-09-06 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/376291 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: Iaa070bf1af92d6533328e53810f71937fd622e21
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  MaxSem: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 73013d1..20332da 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 73013d1a2ddc5c80aa3e83433a24eb668d75b918
+Subproject commit 20332da496c2220a5fe62d27b22125b97224b8f4

-- 
To view, visit https://gerrit.wikimedia.org/r/376291
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iaa070bf1af92d6533328e53810f71937fd622e21
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: MaxSem 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-09-06 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/376291 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: Iaa070bf1af92d6533328e53810f71937fd622e21
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/91/376291/1

diff --git a/portals b/portals
index 73013d1..20332da 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 73013d1a2ddc5c80aa3e83433a24eb668d75b918
+Subproject commit 20332da496c2220a5fe62d27b22125b97224b8f4

-- 
To view, visit https://gerrit.wikimedia.org/r/376291
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iaa070bf1af92d6533328e53810f71937fd622e21
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-08-24 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/373530 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: Id4ae4f3d638abc757438ad6830d9f9726f866df3
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Phuedx: Looks good to me, approved



diff --git a/portals b/portals
index ad489a2..73013d1 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit ad489a2555af59ba8f02e57284ebdca0573929f9
+Subproject commit 73013d1a2ddc5c80aa3e83433a24eb668d75b918

-- 
To view, visit https://gerrit.wikimedia.org/r/373530
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id4ae4f3d638abc757438ad6830d9f9726f866df3
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Phuedx 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-08-24 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/373530 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: Id4ae4f3d638abc757438ad6830d9f9726f866df3
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/30/373530/1

diff --git a/portals b/portals
index ad489a2..73013d1 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit ad489a2555af59ba8f02e57284ebdca0573929f9
+Subproject commit 73013d1a2ddc5c80aa3e83433a24eb668d75b918

-- 
To view, visit https://gerrit.wikimedia.org/r/373530
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id4ae4f3d638abc757438ad6830d9f9726f866df3
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-08-16 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/372118 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: I2cef36aadc8b77b203dcd2af00229762a07412cd
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Zfilipin: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index edfdc29..ad489a2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit edfdc29c672a306c8bdd433309e3b5caf00d79e7
+Subproject commit ad489a2555af59ba8f02e57284ebdca0573929f9

-- 
To view, visit https://gerrit.wikimedia.org/r/372118
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2cef36aadc8b77b203dcd2af00229762a07412cd
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Zfilipin 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-08-16 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/372118 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: I2cef36aadc8b77b203dcd2af00229762a07412cd
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/18/372118/1

diff --git a/portals b/portals
index edfdc29..ad489a2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit edfdc29c672a306c8bdd433309e3b5caf00d79e7
+Subproject commit ad489a2555af59ba8f02e57284ebdca0573929f9

-- 
To view, visit https://gerrit.wikimedia.org/r/372118
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I2cef36aadc8b77b203dcd2af00229762a07412cd
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-07-18 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/365946 )

Change subject: Bumping portals to master
..


Bumping portals to master

Updating wikipedia.org & sister project
portal stats

Bug: T142582, T128546
Change-Id: Id97eca0584b0634c2fe44b37a8492bfc7a96fda6
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Zfilipin: Looks good to me, approved
  Hashar: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/portals b/portals
index 86bbaf8..edfdc29 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 86bbaf80843668fd717662a713634abce5f96ec9
+Subproject commit edfdc29c672a306c8bdd433309e3b5caf00d79e7

-- 
To view, visit https://gerrit.wikimedia.org/r/365946
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id97eca0584b0634c2fe44b37a8492bfc7a96fda6
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: Zfilipin 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-07-18 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/365946 )

Change subject: Bumping portals to master
..

Bumping portals to master

Updating wikipedia.org & sister project
portal stats

Bug: T142582, T128546
Change-Id: Id97eca0584b0634c2fe44b37a8492bfc7a96fda6
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/46/365946/1

diff --git a/portals b/portals
index 86bbaf8..edfdc29 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 86bbaf80843668fd717662a713634abce5f96ec9
+Subproject commit edfdc29c672a306c8bdd433309e3b5caf00d79e7

-- 
To view, visit https://gerrit.wikimedia.org/r/365946
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id97eca0584b0634c2fe44b37a8492bfc7a96fda6
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-06-27 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/361681 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T142582
Change-Id: I33d7c87a8cd438ffa9a76da1cdcbaf14cdee4e7b
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Chad: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 01b8a0d..86bbaf8 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 01b8a0dfb7f22076cab8fb2e956e5e0650030101
+Subproject commit 86bbaf80843668fd717662a713634abce5f96ec9

-- 
To view, visit https://gerrit.wikimedia.org/r/361681
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I33d7c87a8cd438ffa9a76da1cdcbaf14cdee4e7b
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-06-27 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/361681 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T142582
Change-Id: I33d7c87a8cd438ffa9a76da1cdcbaf14cdee4e7b
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/81/361681/1

diff --git a/portals b/portals
index 01b8a0d..86bbaf8 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 01b8a0dfb7f22076cab8fb2e956e5e0650030101
+Subproject commit 86bbaf80843668fd717662a713634abce5f96ec9

-- 
To view, visit https://gerrit.wikimedia.org/r/361681
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I33d7c87a8cd438ffa9a76da1cdcbaf14cdee4e7b
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-04-27 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/349983 )

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T128546
Change-Id: If906d794b6400dc85da0f203fee83a4b43d0bfe1
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Ladsgroup: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index aba43f2..2978a2d 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit aba43f20e0abc88898d25e3d55b46a71232b5902
+Subproject commit 2978a2d9e6262694ffd445246c534f00ed05013f

-- 
To view, visit https://gerrit.wikimedia.org/r/349983
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If906d794b6400dc85da0f203fee83a4b43d0bfe1
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Ladsgroup 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-04-24 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/349983 )

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T128546
Change-Id: If906d794b6400dc85da0f203fee83a4b43d0bfe1
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/83/349983/1

diff --git a/portals b/portals
index aba43f2..2978a2d 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit aba43f20e0abc88898d25e3d55b46a71232b5902
+Subproject commit 2978a2d9e6262694ffd445246c534f00ed05013f

-- 
To view, visit https://gerrit.wikimedia.org/r/349983
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: If906d794b6400dc85da0f203fee83a4b43d0bfe1
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-04-11 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/347679 )

Change subject: Bumping portals to master
..


Bumping portals to master

wikipedia.org stats update

Bug: T128546
Change-Id: I5f3152129dfcaf8cc368f3a684115e285589605f
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index e576c18..aba43f2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit e576c18522fff1dd215e8a1b6336babd95d201dc
+Subproject commit aba43f20e0abc88898d25e3d55b46a71232b5902

-- 
To view, visit https://gerrit.wikimedia.org/r/347679
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I5f3152129dfcaf8cc368f3a684115e285589605f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
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] operations/mediawiki-config[master]: Bumping portals to master

2017-04-11 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/347679 )

Change subject: Bumping portals to master
..

Bumping portals to master

wikipedia.org stats update

Bug: T128546
Change-Id: I5f3152129dfcaf8cc368f3a684115e285589605f
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/79/347679/1

diff --git a/portals b/portals
index e576c18..aba43f2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit e576c18522fff1dd215e8a1b6336babd95d201dc
+Subproject commit aba43f20e0abc88898d25e3d55b46a71232b5902

-- 
To view, visit https://gerrit.wikimedia.org/r/347679
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I5f3152129dfcaf8cc368f3a684115e285589605f
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-03-30 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/345603 )

Change subject: Bumping portals to master
..


Bumping portals to master

Updating portal stats & fixing some l10n bugs.

Bug: T128546
Change-Id: Iee4385597bcbd39b1456085e155648af43edf9bd
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  MaxSem: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index e576c18..2ea2355 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit e576c18522fff1dd215e8a1b6336babd95d201dc
+Subproject commit 2ea2355ffd8b52aad4846c2bbda700af686b5bd3

-- 
To view, visit https://gerrit.wikimedia.org/r/345603
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iee4385597bcbd39b1456085e155648af43edf9bd
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: 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] operations/mediawiki-config[master]: Bumping portals to master

2017-03-30 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/345603 )

Change subject: Bumping portals to master
..

Bumping portals to master

Updating portal stats & fixing some l10n bugs.

Bug: T128546
Change-Id: Iee4385597bcbd39b1456085e155648af43edf9bd
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/03/345603/1

diff --git a/portals b/portals
index e576c18..2ea2355 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit e576c18522fff1dd215e8a1b6336babd95d201dc
+Subproject commit 2ea2355ffd8b52aad4846c2bbda700af686b5bd3

-- 
To view, visit https://gerrit.wikimedia.org/r/345603
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iee4385597bcbd39b1456085e155648af43edf9bd
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-03-14 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/342616 )

Change subject: Bumping portals to master
..


Bumping portals to master

Updating wikipedia.org and sister project portal stats

Bug: T128546, T142582
Change-Id: I492344122892f9eae2b6b10075861d3c2912243b
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Dereckson: Looks good to me, approved



diff --git a/portals b/portals
index 90f81ea..e576c18 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 90f81ea063d32bef2b4a9c7f77238d089aaa92e1
+Subproject commit e576c18522fff1dd215e8a1b6336babd95d201dc

-- 
To view, visit https://gerrit.wikimedia.org/r/342616
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I492344122892f9eae2b6b10075861d3c2912243b
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Dereckson 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-03-14 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/342616 )

Change subject: Bumping portals to master
..

Bumping portals to master

Updating wikipedia.org and sister project portal stats

Bug: T128546, T142582
Change-Id: I492344122892f9eae2b6b10075861d3c2912243b
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/16/342616/1

diff --git a/portals b/portals
index 90f81ea..e576c18 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 90f81ea063d32bef2b4a9c7f77238d089aaa92e1
+Subproject commit e576c18522fff1dd215e8a1b6336babd95d201dc

-- 
To view, visit https://gerrit.wikimedia.org/r/342616
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I492344122892f9eae2b6b10075861d3c2912243b
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-03-02 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/340742 )

Change subject: Bumping portals to master
..


Bumping portals to master

Updating stats for sister project portals

Bug: T128546
Change-Id: I674aa5531e2577d94aa0b1c05636ab68538cc3c9
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Phuedx: Looks good to me, approved



diff --git a/portals b/portals
index c7adaf3..90f81ea 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit c7adaf3bf51b489f1f5189ec8d68695b40f862de
+Subproject commit 90f81ea063d32bef2b4a9c7f77238d089aaa92e1

-- 
To view, visit https://gerrit.wikimedia.org/r/340742
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I674aa5531e2577d94aa0b1c05636ab68538cc3c9
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Phuedx 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2017-03-02 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/340742 )

Change subject: Bumping portals to master
..

Bumping portals to master

Updating stats for sister project portals

Bug: T128546
Change-Id: I674aa5531e2577d94aa0b1c05636ab68538cc3c9
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/42/340742/1

diff --git a/portals b/portals
index c7adaf3..90f81ea 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit c7adaf3bf51b489f1f5189ec8d68695b40f862de
+Subproject commit 90f81ea063d32bef2b4a9c7f77238d089aaa92e1

-- 
To view, visit https://gerrit.wikimedia.org/r/340742
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I674aa5531e2577d94aa0b1c05636ab68538cc3c9
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-12-15 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/327590 )

Change subject: Bumping portals to master
..


Bumping portals to master

Fixing an IE8 bug.

Change-Id: I9009cbc27e7684d9ff2fb3d8d44e7657e0cb8ba1
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Dereckson: Looks good to me, approved



diff --git a/portals b/portals
index df461b4..78a8d57 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit df461b48c0e031f32c6ecd1acec18a64960a6bae
+Subproject commit 78a8d57ff46ea2697df7344b887dbd76f5ee034c

-- 
To view, visit https://gerrit.wikimedia.org/r/327590
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9009cbc27e7684d9ff2fb3d8d44e7657e0cb8ba1
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Dereckson 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-12-15 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/327590 )

Change subject: Bumping portals to master
..

Bumping portals to master

Fixing an IE8 bug.

Change-Id: I9009cbc27e7684d9ff2fb3d8d44e7657e0cb8ba1
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/90/327590/1

diff --git a/portals b/portals
index df461b4..78a8d57 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit df461b48c0e031f32c6ecd1acec18a64960a6bae
+Subproject commit 78a8d57ff46ea2697df7344b887dbd76f5ee034c

-- 
To view, visit https://gerrit.wikimedia.org/r/327590
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I9009cbc27e7684d9ff2fb3d8d44e7657e0cb8ba1
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-12-15 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/327494 )

Change subject: Bumping portals to master
..


Bumping portals to master

Stats update and improved
sister-project translations

Bug: T128546, T136446
Change-Id: If0d182b513f33b67114ef7d1beb29242b9972a11
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 13e51d1..df461b4 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 13e51d193a3f1fb1668f492ce0e11bc13c5c411b
+Subproject commit df461b48c0e031f32c6ecd1acec18a64960a6bae

-- 
To view, visit https://gerrit.wikimedia.org/r/327494
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If0d182b513f33b67114ef7d1beb29242b9972a11
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-12-15 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/327494 )

Change subject: Bumping portals to master
..

Bumping portals to master

Stats update and improved
sister-project translations

Bug: T128546, T136446
Change-Id: If0d182b513f33b67114ef7d1beb29242b9972a11
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/94/327494/1

diff --git a/portals b/portals
index 13e51d1..df461b4 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 13e51d193a3f1fb1668f492ce0e11bc13c5c411b
+Subproject commit df461b48c0e031f32c6ecd1acec18a64960a6bae

-- 
To view, visit https://gerrit.wikimedia.org/r/327494
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: If0d182b513f33b67114ef7d1beb29242b9972a11
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping Portals to master

2016-12-12 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/326408 )

Change subject: Bumping Portals to master
..


Bumping Portals to master

Bug: T128546
Change-Id: If5133984e6ebb1ac40914858012a41da61ff8b95
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 29f113f..13e51d1 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 29f113f59264e8426443f2df23459f8b262c5124
+Subproject commit 13e51d193a3f1fb1668f492ce0e11bc13c5c411b

-- 
To view, visit https://gerrit.wikimedia.org/r/326408
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If5133984e6ebb1ac40914858012a41da61ff8b95
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping Portals to master

2016-12-12 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/326408 )

Change subject: Bumping Portals to master
..

Bumping Portals to master

Bug: T128546
Change-Id: If5133984e6ebb1ac40914858012a41da61ff8b95
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/08/326408/1

diff --git a/portals b/portals
index 29f113f..13e51d1 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 29f113f59264e8426443f2df23459f8b262c5124
+Subproject commit 13e51d193a3f1fb1668f492ce0e11bc13c5c411b

-- 
To view, visit https://gerrit.wikimedia.org/r/326408
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: If5133984e6ebb1ac40914858012a41da61ff8b95
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-11-03 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Bumping portals to master
..


Bumping portals to master

Bug: T146807
Change-Id: I72a1b695e3a41bb271379d4cb752da519657612f
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 5cf6fe5..950f38f 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 5cf6fe595a32a29805e2d3639d6c7e738ea2304c
+Subproject commit 950f38f96d877b08221bcb9918337463b8a9fe7c

-- 
To view, visit https://gerrit.wikimedia.org/r/319654
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I72a1b695e3a41bb271379d4cb752da519657612f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
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] operations/mediawiki-config[master]: Bumping portals to master

2016-11-03 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/319654

Change subject: Bumping portals to master
..

Bumping portals to master

Bug: T146807
Change-Id: I72a1b695e3a41bb271379d4cb752da519657612f
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/54/319654/1

diff --git a/portals b/portals
index 5cf6fe5..950f38f 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 5cf6fe595a32a29805e2d3639d6c7e738ea2304c
+Subproject commit 950f38f96d877b08221bcb9918337463b8a9fe7c

-- 
To view, visit https://gerrit.wikimedia.org/r/319654
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I72a1b695e3a41bb271379d4cb752da519657612f
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-10-11 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Bumping portals to master
..


Bumping portals to master

Asides from updating stats & l10n,
this patch introduces a new blue via T146231
on wikipedia.org

Bug: T128546
Change-Id: Iae91f4cbf5d005d86bb58e507edb8d7f5bfb73f2
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 000dddc..632389b 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 000dddcb49fcd69d5bdc5e19aa3b529085360177
+Subproject commit 632389bf7c96b42bc1cb9dc241643c7e994366bb

-- 
To view, visit https://gerrit.wikimedia.org/r/315232
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iae91f4cbf5d005d86bb58e507edb8d7f5bfb73f2
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master

2016-10-11 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/315232

Change subject: Bumping portals to master
..

Bumping portals to master

Asides from updating stats & l10n,
this patch introduces a new blue via T146231
on wikipedia.org

Bug: T128546
Change-Id: Iae91f4cbf5d005d86bb58e507edb8d7f5bfb73f2
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/32/315232/1

diff --git a/portals b/portals
index 000dddc..632389b 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 000dddcb49fcd69d5bdc5e19aa3b529085360177
+Subproject commit 632389bf7c96b42bc1cb9dc241643c7e994366bb

-- 
To view, visit https://gerrit.wikimedia.org/r/315232
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iae91f4cbf5d005d86bb58e507edb8d7f5bfb73f2
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master Stats update

2016-09-14 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Bumping portals to master Stats update
..


Bumping portals to master
Stats update

Bug: T128546
Change-Id: Id5b684a34283de2cf9cd209584dc80125fe2eb87
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index ec507c2..000dddc 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit ec507c2406a1b3c70e10c3f5c9113b7c61b417a7
+Subproject commit 000dddcb49fcd69d5bdc5e19aa3b529085360177

-- 
To view, visit https://gerrit.wikimedia.org/r/310537
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id5b684a34283de2cf9cd209584dc80125fe2eb87
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master Stats update

2016-09-14 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/310537

Change subject: Bumping portals to master Stats update
..

Bumping portals to master
Stats update

Bug: T128546
Change-Id: Id5b684a34283de2cf9cd209584dc80125fe2eb87
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/37/310537/1

diff --git a/portals b/portals
index ec507c2..000dddc 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit ec507c2406a1b3c70e10c3f5c9113b7c61b417a7
+Subproject commit 000dddcb49fcd69d5bdc5e19aa3b529085360177

-- 
To view, visit https://gerrit.wikimedia.org/r/310537
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id5b684a34283de2cf9cd209584dc80125fe2eb87
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master - adding search language to event ...

2016-09-13 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Bumping portals to master - adding search language to event 
logging
..


Bumping portals to master
- adding search language to event logging

Change-Id: Ic2d6cef31dc1b1948d4439e6ddd22b91a57cc4f6
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index b231b06..ec507c2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit b231b06a60528a9728f756675af83fdcb066415e
+Subproject commit ec507c2406a1b3c70e10c3f5c9113b7c61b417a7

-- 
To view, visit https://gerrit.wikimedia.org/r/310287
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic2d6cef31dc1b1948d4439e6ddd22b91a57cc4f6
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master - adding search language to event ...

2016-09-13 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/310287

Change subject: Bumping portals to master - adding search language to event 
logging
..

Bumping portals to master
- adding search language to event logging

Change-Id: Ic2d6cef31dc1b1948d4439e6ddd22b91a57cc4f6
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/87/310287/1

diff --git a/portals b/portals
index b231b06..ec507c2 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit b231b06a60528a9728f756675af83fdcb066415e
+Subproject commit ec507c2406a1b3c70e10c3f5c9113b7c61b417a7

-- 
To view, visit https://gerrit.wikimedia.org/r/310287
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic2d6cef31dc1b1948d4439e6ddd22b91a57cc4f6
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master New wikipedia.org layout.

2016-08-16 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Bumping portals to master New wikipedia.org layout.
..


Bumping portals to master
New wikipedia.org layout.

Bug: T140153
Change-Id: I2bfd1671e099850f48611cca371af36cbc8fcd0d
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index e43a059..b231b06 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit e43a059a3446d5f6163a8291f21d40b89ba8557b
+Subproject commit b231b06a60528a9728f756675af83fdcb066415e

-- 
To view, visit https://gerrit.wikimedia.org/r/304976
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2bfd1671e099850f48611cca371af36cbc8fcd0d
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
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] operations/mediawiki-config[master]: Bumping portals to master New wikipedia.org layout.

2016-08-16 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/304976

Change subject: Bumping portals to master New wikipedia.org layout.
..

Bumping portals to master
New wikipedia.org layout.

Bug: T140153
Change-Id: I2bfd1671e099850f48611cca371af36cbc8fcd0d
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/76/304976/1

diff --git a/portals b/portals
index e43a059..b231b06 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit e43a059a3446d5f6163a8291f21d40b89ba8557b
+Subproject commit b231b06a60528a9728f756675af83fdcb066415e

-- 
To view, visit https://gerrit.wikimedia.org/r/304976
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I2bfd1671e099850f48611cca371af36cbc8fcd0d
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Bumping portals to master. Updating stats on all portals.

2016-08-04 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: Bumping portals to master. Updating stats on all portals.
..


Bumping portals to master.
Updating stats on all portals.

Bug: T128546
Change-Id: I27acf8c41204c61de297a33f925ce4dfed42a5a5
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/portals b/portals
index 024ce0f..e43a059 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 024ce0f0d48b1eee6df25f4c2d6a011ea0a348e4
+Subproject commit e43a059a3446d5f6163a8291f21d40b89ba8557b

-- 
To view, visit https://gerrit.wikimedia.org/r/302921
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I27acf8c41204c61de297a33f925ce4dfed42a5a5
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 
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] operations/mediawiki-config[master]: Bumping portals to master. Updating stats on all portals.

2016-08-04 Thread Jdrewniak (Code Review) 
Jdrewniak has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/302921

Change subject: Bumping portals to master. Updating stats on all portals.
..

Bumping portals to master.
Updating stats on all portals.

Bug: T128546
Change-Id: I27acf8c41204c61de297a33f925ce4dfed42a5a5
---
M portals
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/21/302921/1

diff --git a/portals b/portals
index 024ce0f..e43a059 16
--- a/portals
+++ b/portals
@@ -1 +1 @@
-Subproject commit 024ce0f0d48b1eee6df25f4c2d6a011ea0a348e4
+Subproject commit e43a059a3446d5f6163a8291f21d40b89ba8557b

-- 
To view, visit https://gerrit.wikimedia.org/r/302921
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I27acf8c41204c61de297a33f925ce4dfed42a5a5
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdrewniak 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits