Anthony

Ah interesting, maybe using the checks UI is something to consider later too. I would still agree that comments are likely the place where the links are most likely to...

> Opening a PR from the WebUI is the common workflow on GitHub Users can use vscode, web UI, CLI, or might get notifications through code owners even. My point...

Yeah it could absolutely be too noisy, but it seems like an okay place to start and see what users think. What I was describing was only commenting if a...

Yeah, there are definitely edge cases that could be spammy, but we're also a bit early to worry about edge cases. Continually updating a single comment does has poor UX...

To clarify I don't care where we start re single comment or multiple comments, but I am saying multiple comments will end up being better UX in more cases. But...

Actually, just realized there is another addition here that simplifies things a lot too. I'll have an update incoming here.

This is just the application and settings changes, the actual display parts are handled in https://github.com/readthedocs/ext-theme/pull/609

> Is XSLT supported for sitemaps? XSLT is a feature from the late 90s for XML, not sitemaps specifically. Sitemaps are just XML so XSLT is supported through that. Crawlers...

> I mean, /sitemap.xml is valid and for indexes we should probably use /sitemap_index.xml. Otherwise, how crawlers will find these non-standards URLs? Because `sitemap.xml?versions` is always included from `sitemap.xml`. The...

> What would you check for from the builder to know it's still running? I'm describing the build process just emitting this call to the API. Just the presence of...