Check if we still need repo.or.cz mirrors
Originally created by @intrigeri on #8289 (Redmine)
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.