robots.txt   [plain text]

User-agent: *
Disallow: /source/
Disallow: /search/
Disallow: /issues/
Disallow: /servlets/