[DRE-maint] Bug#1092987: help finding hosting

[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.  Perhaps it makes 
sense to plug into that?  Like I think we could easily get hosting from OSUOSL.