Deal with possible Github name change

[deoktr]

The user can change his username on Github, this can cause serious problem if not dealt with correctly in the back-end. We must test this possibility.

[Nysis1]

https://stackoverflow.com/questions/11976393/get-github-username-by-id

[github-actions]

Stale issue message