My use case is that I have a private pip repo I need to install from, but there is no DNS resolution without going through a ssh bastion. For the time being I just add repo