Apply suggestion to bob/devtools/bootstrap.py

2 jobs for proxy-url in 13 minutes and 1 second (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #234811
docker
build_linux

00:09:54

2.0%
passed #234812
intel macos
build_macos_intel

00:13:00

2.0%