User-Agent: * Disallow: /source/ Disallow: /issues/ Disallow: /search/ Disallow: /servlets/ Disallow: /project/ Disallow: /nonav/