Hi,
On Tue, 12 Dec 2006, Steven Grimm wrote:
Johannes Schindelin wrote:
quoted
$ 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