Split personality because of username change

[0xCardiE]

Because of github username change I have 2 profiles now :(

https://elizaos.github.io/profile/0xCardiE
https://elizaos.github.io/profile/0xCardinalError

so my contributions are also split. Wondering is there a way to update leaderboard per commits of a user so this wont be happening?

[META-DREAMER]

Will need to update the database to allow multiple identities to be linked together to one user, and update all the code that ingests data to properly assign the correct user to various PRs/issues etc.

Hairy part will be that the github username is currently the primary key, so cant change usernames in the db easily. Also not easy to figure out which users need to be merged automatically, unless github API has some sort of universal identifier that we could use instead.

Could possibly address it at a higher level by adding a separate table to store userIdentities thats a one to many relation between users <> users. One of the users has to be designated as the "primary/active" for the users current username, which means we have to detect which is the latest one. There's a bunch of edge cases that will need to be handled like user changing their username multiple times, or changing to a name and then changing back, etc.

[0xCardiE]

Probably this should be reworked with github internal ID as base not username

curl https://api.github.com/users/octocat

which gives

So if we track all by users ID, then username can change 100x times, its just different display