On Wed, 12 Mar 2008, Junio C Hamano wrote: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > > > ---prune:: > > I am fairly paranoid about end users wondering about what is described in > ancient documentation and complaining that we do not talk about it > anymore. I am tempted to suggest: > > This is a no-op but you may see it mentioned in older docs and > scripts. Older git-gc never ran 'prune' without being told, and > this option was a way to tell it to. > > but this would lead to littering the documentation with too much > historical information in the long run. I dunno. I am inclined to favor > the removal as your patch did, but somebody else may have clever ideas. Historical notes of that sort belong in RelNotes. Nicolas -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
