[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Update ExtensionDistributer settings

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

Change subject: Update ExtensionDistributer settings
..


Update ExtensionDistributer settings

Change-Id: I0c5eb799b23e14368f9f7d7e3058933acc626f99
---
M wmf-config/CommonSettings.php
1 file changed, 2 insertions(+), 1 deletion(-)

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



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index e5c84ff..cdd8e92 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -994,11 +994,12 @@
$wgExtDistDefaultSnapshot = 'REL1_29';
 
// Current development snapshot
-   // $wgExtDistCandidateSnapshot = 'REL1_30';
+   $wgExtDistCandidateSnapshot = 'REL1_30';
 
// Available snapshots
$wgExtDistSnapshotRefs = [
'master',
+   'REL1_30',
'REL1_29',
'REL1_28',
'REL1_27',

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I0c5eb799b23e14368f9f7d7e3058933acc626f99
Gerrit-PatchSet: 4
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MacFan4000 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Paladox 
Gerrit-Reviewer: Reedy 
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]: Update ExtensionDistributer settings

2017-09-21 Thread MacFan4000 (Code Review)
MacFan4000 has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/379524 )

Change subject: Update ExtensionDistributer settings
..

Update ExtensionDistributer settings

Change-Id: I0c5eb799b23e14368f9f7d7e3058933acc626f99
---
M wmf-config/CommonSettings.php
1 file changed, 2 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/24/379524/2

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index e5c84ff..775acf5 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -994,11 +994,12 @@
$wgExtDistDefaultSnapshot = 'REL1_29';
 
// Current development snapshot
-   // $wgExtDistCandidateSnapshot = 'REL1_30';
+   $wgExtDistCandidateSnapshot = 'REL1_30';
 
// Available snapshots
$wgExtDistSnapshotRefs = [
'master',
+   'REL1_30',
'REL1_29',
'REL1_28',
'REL1_27',

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0c5eb799b23e14368f9f7d7e3058933acc626f99
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MacFan4000 
Gerrit-Reviewer: jenkins-bot <>

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