4 ms·
I believe git gc after force-push will remedy the situation by deleting all unreachable objects, even circular references.
by orbisvicis 1y ago
I believe git gc after force-push will remedy the situation by deleting all unreachable objects, even circular references.
- londons_explore 1y agoLocally yes, but not on GitHub.
- kingstnap 1y agoHow would you ever end up with a circular reference?
- orbisvicis 1y agoI'm not sure... What if commits erased through forced pushes retain their ancestry? For example, branchA has commit objects A1->A2 while branchB has the same commit objects A2->A1, and then both branches are force-pushed to erase A1 and A2. Would this suffice?