Fair point. Codeberg.org is more GitHub-like and has fewer gamification elements, for what it's worth, but many platforms which aim, more or less, to be GitHub clones, often include these elements without much critical analysis.