# See https://www.robotstxt.org/robotstxt.html for documentation on how to use the robots.txt file # # To ban all spiders from the entire site uncomment the next two lines: # User-agent: * # Disallow: / # All scrapers that don't set their user agent with their real identity will be blocked. User-agent: * Disallow: /metrics/ Disallow: /metrics Disallow: /subscriptions Allow: /subscriptions/new Disallow: /mail