|
|
|
|
|
by bad_user
2500 days ago
|
|
The point is that it's not your Git repo, usually, when talking of dependencies, so it's not really about what you want. SHAs can't be changed, but they can be deleted. And on GitHub, entire projects, usernames, orgs can be deleted. Or renamed. In case of a user rename, GitHub does maintain redirects for awhile. Until that username is taken by somebody else. |
|
So yea, does not seem to be a problem that actually exists.