Github users can change their usernames & often do even though they publish repos used by others.
Github automatically redirect invidual repo link until someone takes over the old username creates a repository with the same name (see
Changing your GitHub username - GitHub Docs)
This is very risky because AFAIK there is no way to detect a username change when we link to a repo (as a bookmark or a dependency in many languages) & it become open to takeover.
Is there any way we can mitigate against this?