Miles Fricker

I ran into this issue as well. I resolved it by installing the [vagrant-proxyconf](https://github.com/tmatilai/vagrant-proxyconf) plugin and setting `export VAGRANT_HTTP_PROXY=`.

This is something that would be useful for us as well. We are planning to implement this with a cloud function that listens for pull request events and triggers the...

I'm also running into this issue when I try to hit the `/metrics` endpoint.