Ensure that OONI git repositories are mirrored and synced in different git servers
We should ensure that all OONI git repositories should be mirrored and synced in different git servers.
Using Github as the main and only updated OONI repository may cause serious issues in the availability of the source code.