So in this case even if you force push to the highly starred repo people could see that it had old commits (and restore to those on their local too).
Nice writeup on it: https://medium.com/git-tips/githubs-reflog-a9ff21ff765f
This has definitely saved my bacon when I've force pushed to a GH repo before and had to restore something.