I wrote in that thread that I think Forejo (or more precisely Codeberg) probably clears the bar for inclusion[1].

[1]: https://discuss.python.org/t/new-oidc-providers-for-trusted-...