User-agent: * Disallow: /browse/ Disallow: /tickets Disallow: /diff Disallow: /diff/ Allow: /