Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-25 14:13:47 +0200
committerErich Eckner <git@eckner.net>2019-07-25 14:13:47 +0200
commit161d73af81750c5cd27bee032ae54174ca895609 (patch)
tree3796114cacdc7458ad02007fbcd665e835b14210
parent8f225a5f2844a14c038d1820fe1b894e6a99f600 (diff)
robots.txt added
-rw-r--r--robots.txt14
1 files changed, 14 insertions, 0 deletions
diff --git a/robots.txt b/robots.txt
new file mode 100644
index 0000000..fd3ab65
--- /dev/null
+++ b/robots.txt
@@ -0,0 +1,14 @@
+User-agent: *
+Disallow: buildmaster/build-list-links.php
+Disallow: buildmaster/build-list.php
+Disallow: buildmaster/build-log.php
+Disallow: buildmaster/build-slaves.php
+Disallow: buildmaster/deletion-links.php
+Disallow: buildmaster/dependencies.php
+Disallow: buildmaster/execution-times.php
+Disallow: buildmaster/log.php
+Disallow: buildmaster/mysql-issues.php
+Disallow: buildmaster/statistics.php
+Disallow: buildmaster/status.php
+Disallow: buildmaster/to-delete.php
+Disallow: packages/differences/