# https://www.robotstxt.org/robotstxt.html
User-agent: *

Sitemap: https://semgrep.dev/assets/sitemap

Sitemap: https://semgrep.dev/docs/sitemap.xml

Sitemap: https://semgrep.dev/docs/sitemaps/sitemap-registry.xml

Sitemap: https://semgrep.dev/docs/sitemaps/extended-sitemap.xml