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