#
# Welcome to open.hpi.de
#
# robots.txt for https://open.hpi.de/
#
# Version 4 January 2021
#

User-Agent: *
Sitemap: https://open.hpi.de/sitemap.xml.gz
Disallow: /static/podcastgen

User-agent: Googlebot
Sitemap: https://open.hpi.de/sitemap.xml.gz
Disallow: /static/podcastgen

User-agent: Googlebot-Mobile
Sitemap: https://open.hpi.de/sitemap.xml.gz
Disallow: /static/podcastgen

User-agent: Bingbot
Sitemap: https://open.hpi.de/sitemap.xml.gz
Disallow: /static/podcastgen

User-agent: Baiduspider
Sitemap: https://open.hpi.de/sitemap.xml.gz
Disallow: /static/podcastgen