Use environmental proxy when doing a ping to the remote repo