# /robots.txt file for kernel.org mirror

User-agent: *
Disallow: /pub
Disallow: /*