When a Secret Leaks into Git: Recovering from an Accidental Secret Commit