Design note for Restore Reset Revert: Undo-Modelle für Datei, Index, lokale und geteilte Historie
