No but yes temporarily or so... problem is that the resettelment of the core repository does currently fail with different errors depending on the moon phase or so. @Philipp Holzer has filed two bug reports and found another PR for gitea that might be helpful.

But yes, I'll setup a new mirror as a placeholder again.