diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net | 5 |
1 files changed, 5 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 32d99587..50e7f944 100644 --- a/hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net +++ b/hosts/jenkins/etc/apache2/sites-available/jenkins.debian.net @@ -89,6 +89,7 @@ Use localhost-directives 10.0.2.1 Use common-debian-service-https-redirect jenkins.debian.net Use common-debian-service-https-redirect reproducible.debian.net +Use common-debian-service-https-redirect reproducible-builds.org <VirtualHost *:443> Use common-directives jenkins.debian.net @@ -132,6 +133,10 @@ Use common-debian-service-https-redirect reproducible.debian.net RewriteCond %{REQUEST_URI} ^/userContent/rbuild/ RewriteRule ^/?(.*) https://reproducible.debian.net/$1 [R=301,L] + # redirects reproducible-builds.org to https://reproducible.debian.net + RewriteCond %{HTTP_HOST} reproducible-builds\.org + RewriteRule ^/?(.*) https://reproducible.debian.net/$1 [R=301,L] + <Proxy *> Require all granted </Proxy> |