@grishka others have also said it, and I remember seeing the official response: The repo is so massive that it takes a lot of time to migrate it to their own server, especially the never ending stream of issues and PRs. But they are working on it!