Ryan Lane has submitted this change and it was merged.
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(-)
Approvals:
Ryan Lane: Verified; Looks good to me, approved
diff --git a/manifests/role/gerrit.pp b/manifests/role/gerrit.pp
index fa8f11e..8773558 100644
--- a/manifests/role/gerrit.pp
+++ b/manifests/role/gerrit.pp
@@ -41,7 +41,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: merged
Gerrit-Change-Id: I25a57462b584da5f04611f38cef6fd1b1ee0b3cf
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: Ryan Lane <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
