I can totally buy that this is a larger contributor! Thank you, I wasn't aware that it was going on right now.

And yet they still have a completely separate IDP for employees https://github.okta.com .