I'm assuming that they have a relation user <-> repo of repos that the user has starred. If the user in question doesn't have access to the repo, the entry should be deleted.
I was thinking the same thing. The star count is not just a number in their database. It is a count based on the underlying user data.
If Github deleted the user-to-starred-repo data then it'd be awfully difficult to restore the previous stars. They'd have to know which users had starred the repo previously and restore each of those relations.
Do they have backup data? Probably, but that's in the case of an emergency, not because of something like this.
If Github deleted the user-to-starred-repo data then it'd be awfully difficult to restore the previous stars. They'd have to know which users had starred the repo previously and restore each of those relations.
Do they have backup data? Probably, but that's in the case of an emergency, not because of something like this.