Dispose of a RevCommit as soon as it is no longer interesting