On Jan 11, 2008, at 12:16 PM, Bruno Haible wrote:
you will create a new repository. For this purpose, you can have a
"gnulib-clean" reposity that only ever contains unmodified gnulib;
copying
this repository (with "cp -a") is faster than doing a "gnulib
clone" across
the network.
You can also do a git clone gnulib-clean gnulib-whatever. The clone
will use cpio to share the content under .git/ in pretty much the
same way. This also enables you to git clone any repository with
uncommitted changes so you don't necessarily have to have a gnulib-
clean repo.
--
Benoit Sigoure aka Tsuna
EPITA Research and Development Laboratory
