Hi Thomas,

the Github and Gitlab mirrors seem pretty outdated.
I am also not sure of their purpose considering #T5381.

If the main development takes place here, this should imho be clearly mentioned at the mirrors.
If they are not maintained, maybe it would be better if they are deleted.

Kind regards,
Christoph