redirect reproducible-builds.org to https://reproducible.debian.net for now,...

redirect reproducible-builds.org to https://reproducible.debian.net for now, we will want to change that for some urls

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>