Filippo Giunchedi has submitted this change and it was merged. Change subject: zuul: get rid of git_dir and zuul_url in server conf ......................................................................
zuul: get rid of git_dir and zuul_url in server conf Both paramaeters are now being used by the merger process and already in [merger] section. Change-Id: I3b034976a549956bacd2c4e2f5cd9c27cfa30b02 --- M modules/zuul/templates/zuul.conf.erb 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Filippo Giunchedi: Verified; Looks good to me, approved Alexandros Kosiaris: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/zuul/templates/zuul.conf.erb b/modules/zuul/templates/zuul.conf.erb index a60cb85..932f42f 100644 --- a/modules/zuul/templates/zuul.conf.erb +++ b/modules/zuul/templates/zuul.conf.erb @@ -20,10 +20,8 @@ layout_config=/etc/zuul/wikimedia/layout.yaml log_config=/etc/zuul/logging.conf state_dir=/var/lib/zuul -git_dir=<%= @git_dir %> url_pattern=<%= @url_pattern %> status_url=<%= @status_url %> -zuul_url=<%= @zuul_url %> [merger] git_dir=<%= @git_dir %> -- To view, visit https://gerrit.wikimedia.org/r/141924 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3b034976a549956bacd2c4e2f5cd9c27cfa30b02 Gerrit-PatchSet: 3 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Alexandros Kosiaris <akosia...@wikimedia.org> Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits