# robots.txt for search bots, do not delete this file.

User-agent: dotbot
Disallow: /

User-agent: *
Disallow: /pkgrepos/
Disallow: /gatecraft-repos/