Now you can mirror dev.packages.vyos.net too (use rsync://packages.vyos.net/vyos-dev URL). Once some mirrors are ready, we’ll include them in the list on the wiki. You can mirror it too and tell us if you wish.
We probably don’t need many mirrors of it, but having at least some is certainly a good idea. If the primary server dies and there is no copy, it’s going to take a while to rebuild the whole system from scratch.