While many projects are warming up to AI, Codeberg went the other way.