From c337a85f209193b4baa7d3cdc9517e5a4a6edec9 Mon Sep 17 00:00:00 2001
From: Matthieu Caneill <matt@brokenwa.re>
Date: Thu, 4 Jul 2019 15:14:15 +0200
Subject: [PATCH] add robots.txt to sources.d.o

Signed-off-by: Julien Cristau <jcristau@debian.org>
---
 modules/roles/files/debsources/sources.debian.org.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/roles/files/debsources/sources.debian.org.conf b/modules/roles/files/debsources/sources.debian.org.conf
index 4d211a23b..519e79546 100644
--- a/modules/roles/files/debsources/sources.debian.org.conf
+++ b/modules/roles/files/debsources/sources.debian.org.conf
@@ -48,6 +48,7 @@ WSGIDaemonProcess sources.debian.org user=nobody group=debsources home=/ process
 
     Alias /data/ /srv/sources.debian.org/sources/
     Alias /static/ /srv/sources.debian.org/static/
+    Alias /robots.txt /srv/sources.debian.org/lib/debsources/app/static/robots.txt
 
     <Directory /srv/sources.debian.org/etc>
         <Files debsources.wsgi>
-- 
2.20.1