Check if we still need repo.or.cz mirrors
IIRC, we had set these up to get cia.vc notifications a while ago, but it's not used anymore, and leads to lots of notification email being sent to tails@, which some of the subscribers are complaining about. Let's see if we still need that.
#1 Updated by intrigeri about 5 years ago
- Status changed from Confirmed to Resolved
- % Done changed from 0 to 100
Removed all of these mirror repos, except:
- the main tails.git one, as our contributors doc suggests to fork it there
- the persistence setup one, as it has a fork and can't easily be deleted.