That's a good point: Enterprise Managed Users does solve the globally-unique-username issue, but comes with its own list of limitations:
https://docs.github.com/en/enterprise-cloud@latest/admin/ide...We concluded it was overkill for us (but we're not primarily using github.com anyway).