# Adapted from https://developers.google.com/search/docs/crawling-indexing/robots/create-robots-txt
User-agent: *
Allow: /

Sitemap: https://deepinv.github.io/deepinv/sitemap.xml
