> User id mapping is an important consideration for me.
>

Some mapping has to be present somewhere already. Even very old git commits
point at the right people. Perhaps it's based on e-mail addresses or
something?

https://github.com/apache/lucene/commit/5a2615650e104c0713407637d65ae0ce7c2b257a


When the user isn't available, github just shows the nick, without the link.

https://github.com/apache/lucene/commit/89a554ffab239c0118ccd454d76cdf714d793911

Maybe infra could help with how it's done already for git integration.

Dawid

Reply via email to