Seems like somebody is mirroring gitweb urls. Committed as obvious.
Richard.
2014-07-15 Richard Biener <rguent...@suse.de>
* robots.txt: Disallow /git/
Index: robots.txt
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/robots.txt,v
retrieving revision 1.11
diff -r1.11 robots.txt
6a7
> Disallow: /git/
