# robots.txt for keyserver.gingerbear.net
# contact: webmaster@gingerbear.net

User-agent: *
Disallow: /
Disallow: /pks                # Keyserver

User-agent: Googlebot
Disallow: /pks