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

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