[MediaWiki-commits] [Gerrit] operations/puppet[production]: Gerrit: replication should be a forced push

2017-09-27 Thread Dzahn (Code Review) 
Dzahn has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/381072 )

Change subject: Gerrit: replication should be a forced push
..


Gerrit: replication should be a forced push

Change-Id: Icc0752e6fd04e31f27c99abdeedc6325bf5fe7ef
---
M modules/gerrit/templates/replication.config.erb
1 file changed, 1 insertion(+), 0 deletions(-)

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



diff --git a/modules/gerrit/templates/replication.config.erb 
b/modules/gerrit/templates/replication.config.erb
index ce527e6..5906c1f 100644
--- a/modules/gerrit/templates/replication.config.erb
+++ b/modules/gerrit/templates/replication.config.erb
@@ -4,6 +4,7 @@
 [gerrit]
   replicateOnStartup = false
   autoReload = true
+  defaultForceUpdate = true
 <%
 # replication is a hash which maps remote "names" to their URLs
 # and other settings.

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Icc0752e6fd04e31f27c99abdeedc6325bf5fe7ef
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad 
Gerrit-Reviewer: Dzahn 
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/puppet[production]: Gerrit: replication should be a forced push

2017-09-27 Thread Chad (Code Review) 
Chad has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/381072 )

Change subject: Gerrit: replication should be a forced push
..

Gerrit: replication should be a forced push

Change-Id: Icc0752e6fd04e31f27c99abdeedc6325bf5fe7ef
---
M modules/gerrit/templates/replication.config.erb
1 file changed, 1 insertion(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/72/381072/1

diff --git a/modules/gerrit/templates/replication.config.erb 
b/modules/gerrit/templates/replication.config.erb
index ce527e6..5906c1f 100644
--- a/modules/gerrit/templates/replication.config.erb
+++ b/modules/gerrit/templates/replication.config.erb
@@ -4,6 +4,7 @@
 [gerrit]
   replicateOnStartup = false
   autoReload = true
+  defaultForceUpdate = true
 <%
 # replication is a hash which maps remote "names" to their URLs
 # and other settings.

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Icc0752e6fd04e31f27c99abdeedc6325bf5fe7ef
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad 

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