User-agent: *
Disallow: /ws/
Disallow: /scrawl/
Disallow: /misc/
Disallow: /ref/
Disallow: /webrev/
Disallow: /wiki/

User-agent: Googlebot
Disallow: /patches/