[Tails-dev] Services being migrated to tails.net

Hi, We are in the process of migrating a number of services from *.tails.boum.org to their *.tails.net counterpart. A few have been migrated already: iso-history, jenkins, nightly, torbrowser-archive. The next one is Gitlab, after which this process should be over. In some cases the service will remain available via the *.tails.boum.org hostname for a few more days/weeks. In some cases it has been fully migrated to tails.net already. Either way, don't count of the old hostname to be around for a long time. Cheers, -- intrigeri