From: Ansgar Burchardt <ansgar@debian.org>
Date: Sat, 12 Jan 2013 13:37:30 +0000 (+0100)
Subject: Add robots.txt for incoming.debian.org.
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df131e0dc693a13027e4d95a0c48cc453e8bfacc;p=dak

Add robots.txt for incoming.debian.org.

Files on incoming.debian.org only exist for a short while so it makes no
sense to have them indexed.
---

diff --git a/config/debian/apache.conf-incoming b/config/debian/apache.conf-incoming
index 470a529f..a7216cd6 100644
--- a/config/debian/apache.conf-incoming
+++ b/config/debian/apache.conf-incoming
@@ -13,6 +13,8 @@
     Order deny,allow
   </Directory>
 
+  Alias /robots.txt /srv/incoming.debian.org/robots.txt
+
   # buildd direct access -- buildds only
   Alias /debian /srv/ftp.debian.org/mirror
   Alias /debian-buildd /srv/incoming.debian.org/debian-buildd
diff --git a/config/debian/robots.txt-incoming b/config/debian/robots.txt-incoming
new file mode 100644
index 00000000..1f53798b
--- /dev/null
+++ b/config/debian/robots.txt-incoming
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /