Ottomata has submitted this change and it was merged. Change subject: Replicate operations/puppet/cdh4 to puppet-cdh4 on github ......................................................................
Replicate operations/puppet/cdh4 to puppet-cdh4 on github Since puppet-cdh4 has contributors under the non-canonical url which we do not want to loose, we also replicate to the old name. Bug: 47274 Change-Id: Ibc2ec50dc7ac56a5649d7836f745a6620cbdfa35 --- M manifests/role/gerrit.pp 1 file changed, 10 insertions(+), 0 deletions(-) Approvals: Ottomata: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/manifests/role/gerrit.pp b/manifests/role/gerrit.pp index 0378828..0577be7 100644 --- a/manifests/role/gerrit.pp +++ b/manifests/role/gerrit.pp @@ -48,6 +48,16 @@ "remoteNameStyle" => "dash", "mirror" => "true", }, + "github-puppet-cdh4" => { + "url" => 'g...@github.com:wikimedia/puppet-cdh4', + "threads" => "1", + "authGroup" => "mediawiki-replication", + "push" => "+refs/heads/*:refs/heads/* + push = +refs/tags/*:refs/tags/*", + "remoteNameStyle" => "dash", + "mirror" => "true", + "projects" => "operations/puppet/cdh4", + }, }, smtp_host => "smtp.pmtpa.wmnet" } -- To view, visit https://gerrit.wikimedia.org/r/71248 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibc2ec50dc7ac56a5649d7836f745a6620cbdfa35 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: QChris <christ...@quelltextlich.at> Gerrit-Reviewer: Demon <ch...@wikimedia.org> Gerrit-Reviewer: Ottomata <o...@wikimedia.org> Gerrit-Reviewer: QChris <christ...@quelltextlich.at> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits