Update docs/design/pr-builder.rst
Update docs/design/pr-builder.rst

Co-Authored-By: Eric Holscher <304be7ac57ea7c580b82b67ce8c0f8921a24092b@users.noreply.github.com>
rtfd/readthedocs.org,rtfd/readthedocs.org,rtfd/readthedocs.org,rtfd/readthedocs.org