Deleting a deleted commit creates a new event and asks the EditableGitModel to delete the commit again. This isn't really critical, as the only effect is that the commit is only added one more time to self._deleted_commits. The real problem is that this creates a new event in the history, and undoing it won't have any effect.
mike-perdide
commented
13 years ago
Deleting a deleted commit creates a new event and asks the EditableGitModel to delete the commit again. This isn't really critical, as the only effect is that the commit is only added one more time to self._deleted_commits. The real problem is that this creates a new event in the history, and undoing it won't have any effect.