Create a public repo for check-mirrors
Our mirror checking script, check-mirrors, has been kept in a private
repo so far. According to #7653 (closed), this should be changed. We need to
create a public Git repo without the secret extra mirrors from the
current repo.
Related issues
- Related to #8054 (closed)
- Related to #7666 (closed)
- Blocks #13242
Original created by @sajolida on 7667 (Redmine)