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

[Jim Meyering]

Stefano Lattarini wrote:

> 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.

I agree: there's no need to worry about git older than 1.7 for that.