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@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html