Comment 1 for bug 1873609

Revision history for this message
Aaron Bentley (abentley) wrote :

I don't see evidence this deletes the commit. It appears to only change the branch tip. If the commit has been deleted, "git show $COMMIT" will report "bad object".