ci: add robots.txt and sitemap to Netlify docs build#6125

chatman-media wants to merge 3 commits into

PyO3:mainPyO3/pyo3:mainfrom

chatman-media:codex/pyo3-docs-indexingchatman-media/pyo3:codex/pyo3-docs-indexingCopy head branch name to clipboard