Given that they set up a new repo from scratch, this is a missed chance to just migrate to codeberg