It's self-hosted on https://code.overheid.nl/ & they mirror a subset of it on Codeberg.

That might still be in violation but I would imagine it's low on Codeberg's radar since they're not making primary contributions there (& if I were DAWO I'd also be interested in limiting direct community agentic contrib).

They have "migrated to codeberg" which is written in the repo itself.

However Codeberg actual "fuzzy" policy is less strict than "no LLM used ever".