Dzahn has submitted this change and it was merged. Change subject: Set rt domain and port explicitly ......................................................................
Set rt domain and port explicitly Change-Id: If849b8238156c6528a7019ab785b92a9c1cddedf --- M templates/rt/50-debconf.erb 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/templates/rt/50-debconf.erb b/templates/rt/50-debconf.erb index 28d2317..cf6ef84 100644 --- a/templates/rt/50-debconf.erb +++ b/templates/rt/50-debconf.erb @@ -10,4 +10,5 @@ Set($WebPath , ""); Set($WebBaseURL , "http://<%=@site%>"); - +Set($WebDomain, 'rt.wikimedia.org'); +Set($WebPort, 443); -- To view, visit https://gerrit.wikimedia.org/r/70313 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If849b8238156c6528a7019ab785b92a9c1cddedf Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Andrew Bogott <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
