Demon has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/59928


Change subject: Remove old github detection hack, that's what remoteNameStyle 
is for
......................................................................

Remove old github detection hack, that's what remoteNameStyle is for

Change-Id: I25a57462b584da5f04611f38cef6fd1b1ee0b3cf
---
M manifests/role/gerrit.pp
1 file changed, 0 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/28/59928/1

diff --git a/manifests/role/gerrit.pp b/manifests/role/gerrit.pp
index 7cff346..0c87cfa 100644
--- a/manifests/role/gerrit.pp
+++ b/manifests/role/gerrit.pp
@@ -42,7 +42,6 @@
                                  "authGroup" => "mediawiki-replication",
                                  "push" => "+refs/heads/*:refs/heads/*
   push = +refs/tags/*:refs/tags/*",
-                                 "isGithubRepo" => "true",
                                  "remoteNameStyle" => "dash",
                                  "mirror" => "true",
                                },

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I25a57462b584da5f04611f38cef6fd1b1ee0b3cf
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Demon <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to