On the home page of it says that this is the main repo. However this timeline lags almost a year behind this one:

So it is now unclear which is the main one and either way: they are not synced right now.
Harm Olthof