diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rw-r--r-- | hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net b/hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net index 190eb2ed..f3218582 100644 --- a/hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net +++ b/hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net @@ -294,6 +294,12 @@ Use common-debian-service-https-redirect reproducible-builds.org RewriteCond %{REQUEST_URI} ^/freebsd/$ RewriteRule ^/(.*) /freebsd/freebsd.html [R,L] + # redirect /archlinux/ to archlinux/archlinux.html + # note: the missing slash in the RewriteRule is wanted to avoid a double slash + RewriteCond %{HTTP_HOST} reproducible\.debian\.net + RewriteCond %{REQUEST_URI} ^/archlinux/$ + RewriteRule ^/(.*) /archlinux/archlinux.html [R,L] + # redirect /issues/ to /index_issues.html RewriteCond %{REQUEST_URI} ^/issues/$ RewriteRule ^/(.*) /index_issues.html [R,L] |