Re: [PATCH] {maint} repo: don't commit generated files in the git repository anymore

[Stefano Lattarini]

On Friday 09 December 2011, Stefano Lattarini wrote:
> On Friday 09 December 2011, Jim Meyering wrote:
> > 
> > That looks like a fine solution, though I haven't tried it yet.
> >
> I did for a few simple cases (on Linux), it seems to work fine.  Before
> committing I'll try it out on Solaris and a BSD system as well.
>
It seems to work ok on those systems as well.  I haven't tried it with
older git versions (e.g., pre-1.7), but since this is a maintainer-only
convenience target, IMO it's OK to require a modern git.

Regards,
  Stefano