pull down to refresh

fun fact even if you delete the commits they are still there
190 sats \ 1 reply \ @ek OP 17h
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
100 sats \ 0 replies \ @optimism 3h
This is because force push changes / deletes a pointer, not the actual object.
Push discipline is hard.
reply