[devpi-server] Is there a way to fallback to a secondary mirror-url? about devpi

[fschulze]

There is an experimental --offline-mode, but I'm not sure that is applicable here.

I would try to add both mirrors as separate mirror indexes and then create an index which has both as bases.

[donateur]

There is an experimental --offline-mode, but I'm not sure that is applicable here.

I would try to add both mirrors as separate mirror indexes and then create an index which has both as bases.

Thanks so much! I won't be able to test this for a few days but will get back to you.

[donateur]

Thanks for your help @fschulze.

It turns out that for policy reasons access between the server running devpi-server and the second pypi repo wasn't permitted. So we ended up using a pip.conf which uses an --extra-index-url with the second repo.
While pip randomly will use either repo, it doesn't really matter, clients will use the newer version of a package with the same name from whichever repo is more up to date. As far as I tested it seemed to find the packages we needed at either repo too.

Thanks again!