readthedocs.org

Builds: Rename "External" version type to "Pull request" in UI and docs

#13098

Open