Hi, On Tue, 12 Dec 2006, Steven Grimm wrote: > Johannes Schindelin wrote: > > $ git pull --depth 1 > > > > Though it needs a server _and_ a client supporting shallow clones, > > which support is brewed in "next" right now. > > Will that actually discard old revisions that are already stored > locally? No. A pull should _never_ lose anything from the repository. However, if some objects become no-longer reachable (and at the moment it looks like we cut of history, even if we should not need to), they can be pruned from the repo. Hth, Dscho - 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