[bgrainger]

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).