Akosiaris has submitted this change and it was merged.

Change subject: Use force push when replicating gerrit repos to antimony 
(gitblit)
......................................................................


Use force push when replicating gerrit repos to antimony (gitblit)

We experienced error messages that replication failed due to pushed
changes not allowing fast forward.

Change-Id: Id270d5e9faf81c2c96ca86e97013e0a24a56fa73
---
M manifests/role/gerrit.pp
1 file changed, 1 insertion(+), 1 deletion(-)

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



diff --git a/manifests/role/gerrit.pp b/manifests/role/gerrit.pp
index 89b8e75..0378828 100644
--- a/manifests/role/gerrit.pp
+++ b/manifests/role/gerrit.pp
@@ -36,7 +36,7 @@
                                        "url" => 
'gerritsl...@antimony.wikimedia.org:/var/lib/git/${name}.git',
                                        "threads" => "4",
                                        "authGroup" => "mediawiki-replication",
-                                       "push" => "refs/*:refs/*",
+                                       "push" => "+refs/*:refs/*",
                                        "mirror" => "true",
                                },
                                "github" => {

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Id270d5e9faf81c2c96ca86e97013e0a24a56fa73
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: QChris <christ...@quelltextlich.at>
Gerrit-Reviewer: Akosiaris <akosia...@wikimedia.org>
Gerrit-Reviewer: Demon <ch...@wikimedia.org>
Gerrit-Reviewer: QChris <christ...@quelltextlich.at>
Gerrit-Reviewer: Ryan Lane <rl...@wikimedia.org>
Gerrit-Reviewer: coren <mpellet...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot

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

Reply via email to