Update CI service names referenced in buildbots.rst#739

Mariatta merged 1 commit intopython:mainpython/devguide:mainfrom

nightlark:update-ci-service-namesnightlark/devguide:update-ci-service-namesCopy head branch name to clipboard