Sounds like Codeberg would still take down the repo, but would be more supportive: https://blog.codeberg.org/on-the-youtube-dl-dmca-takedown.ht... (2020)

Maybe there are more recent examples?

For real. Use https://radicle.xyz/ if you want actual takedown resistance.

That won't be easy because Codeberg follows German law.