GitHub allow users to change their login (username). While doing this, GitHub retain repos with the old username, when accessed, GitHub does a 301 redirect.
However, here we need to identify users by their unique id and not their volatile login name.