I've seen so much commentary on the apparent strictness & extreme nature of Codeberg's approach & no actual examples of it.

They have a strict policy (which many have rightly pointed out is impossible to fully enforce), & their "enforcement" has mostly relied on good faith contributions to date. They're also accounting for the fact the ToS change came without advance notice for many of their users who were already making active use of agents, hence there remains many AI repos (I have yet to hear of any removals).

To me that seems like the best approach one can hope for - a lax policy is a slippery slope (presuming dissuading AI contrib is your goal), & wouldn't satisfy their legal concerns (hosting code of questionable copyright status), & strict enforcement isn't viable in any case (especially at their scale), so this seems to me to be the best compromise.