[fjfaase]

I understand that nobody created a local clone of the repository.

[chris-besch]

We do have clones of the git repos (mirror at https://codeberg.org/ManimCommunity). Issues, PRs and the Discord server are another story...