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).