Re: git commit guidelines for gnulib

[Bruno Haible]

Eric Blake wrote:
> I think the easiest way to do this is with git-clone.  First, grab the
> entire repository:
> 
> $ git clone git://git.sv.gnu.org/gnulib
> 
> Then create your topic clone, which shares as much repository information
> as possible with the original, but can reside on a different branch:
> 
> $ git clone -l -s -n gnulib gnulib-modified
> $ cd gnulib-modified && git checkout -b modified

Excellent! This is nearly what I need. Thank you!

Bruno