Who's to say we were never going to use Codeberg? I actually had quite a favorable impression of it before now, as I know many projects that had to flee to it thanks to GitHub's terrible DMCA system and Microsoft randomly locking their accounts.