[static-web] Add robots.txt file for git.gnome.org

[Andrea Veri <av src gnome org>]

commit 60df70260517d8807a6a4c8ccded5c83b8247e4e
Author: Andrea Veri <av gnome org>
Date:   Thu Feb 19 18:52:01 2015 +0100

    Add robots.txt file for git.gnome.org

 git.gnome.org/robots.txt |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/git.gnome.org/robots.txt b/git.gnome.org/robots.txt
new file mode 100644
index 0000000..1f53798
--- /dev/null
+++ b/git.gnome.org/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /