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