Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/301829
Change subject: Gerrit: Redirect plain "/r" (no trailing slash) to gerrit as
well
......................................................................
Gerrit: Redirect plain "/r" (no trailing slash) to gerrit as well
This is probably what the user wants
Change-Id: I3d497b64ff4ca96e6c9452c4cc19eaf8c22c7eac
---
M modules/gerrit/templates/gerrit.wikimedia.org.erb
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/29/301829/1
diff --git a/modules/gerrit/templates/gerrit.wikimedia.org.erb
b/modules/gerrit/templates/gerrit.wikimedia.org.erb
index 3011688..1000421 100644
--- a/modules/gerrit/templates/gerrit.wikimedia.org.erb
+++ b/modules/gerrit/templates/gerrit.wikimedia.org.erb
@@ -58,7 +58,7 @@
SSLCertificateKeyFile /etc/acme/key/gerrit.key
<%= @ssl_settings.join("\n") %>
- RedirectMatch ^/$ https://<%= @host %>/r/
+ RedirectMatch ^/r?$ https://<%= @host %>/r/
# Misbehaving bots
SetEnvIf User-Agent 80legs bad_browser
--
To view, visit https://gerrit.wikimedia.org/r/301829
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I3d497b64ff4ca96e6c9452c4cc19eaf8c22c7eac
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <ch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
