Bug#1092987: help finding hosting

2025-01-20 Thread Hans-Christoph Steiner
https://github.com/hashicorp/vagrant/issues/13571#issuecomment-2597468213 > We are currently running with the workaround of setting VAGRANT_SERVER_URL to "https://vagrantcloud.com/api/v2/vagrant";. FWIW, updated vagrant packages for Fedora will be available soon with internal code changes to re

Bug#1092987: help finding hosting

2025-01-20 Thread Hans-Christoph Steiner
F-Droid still relies on the Debian Vagrant boxes. We are working on migrating away from them, but I'd rather not rush it. Seems like we could find some alternate official hosting for them as a quick workaround. Both Debian and F-Droid are plugged into a substantial network of mirrors. Per