pull down to refresh

fun fact even if you delete the commits they are still there
190 sats \ 1 reply \ @ek OP 29 Sep
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