For the developers waiting for the repository, will take a bit, seems Git is (has) been struggling with a repository of this size... 💀