QChris has uploaded a new change for review.
https://gerrit.wikimedia.org/r/70457
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(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/57/70457/1
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" =>
'[email protected]:/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: newchange
Gerrit-Change-Id: Id270d5e9faf81c2c96ca86e97013e0a24a56fa73
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: QChris <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
