From 74b461e25ee8ded669183d07782ef6a943c7fee5 Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <stapelberg@users.noreply.github.com>
Date: Tue, 29 Dec 2020 20:05:59 +0100
Subject: [PATCH] build.i3wm.org: disallow search engine indexing (#4295)

related to https://github.com/i3/i3.github.io/issues/41
---
 travis/deploy-github-pages.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/travis/deploy-github-pages.sh b/travis/deploy-github-pages.sh
index 2d4548208..b5ead0be1 100755
--- a/travis/deploy-github-pages.sh
+++ b/travis/deploy-github-pages.sh
@@ -9,6 +9,10 @@ mkdir build.i3wm.org
 cp -r deb/COPY-DOCS build.i3wm.org/docs
 cd build.i3wm.org
 echo build.i3wm.org > CNAME
+# Disallow search engine indexing for build.i3wm.org: users should find the
+# release version instead, and only developers should use build.i3wm.org.
+echo 'User-Agent: *' > robots.txt
+echo 'Disallow: /' >> robots.txt
 git init
 
 git config user.name "Travis CI"