> The only remaining ones are iceweasel and the public mirror of our
> master repo. I hope to address these later today.
These were addressed.
Next things to do, now that all was moved:
* point our mirrors at repo.or.cz to the new upstream repositories
* have riseup delete the old repositories
* have immerda delete the old repositories
* have post-update hook on the master tails repository push to the new
mirror at immerda
* have Jenkins use the new mirror at immerda (at least in the
jenkins-jobs repo)
Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc