pull down to refresh
Yeah you need to run something like BFG Repo-Cleaner AND ask Github support to delete orphaned commits after you force-pushed rewritten history afaik
reply
This is because force push changes / deletes a pointer, not the actual object.
Push discipline is hard.
reply
fun fact even if you delete the commits they are still there