Re: git merge and generated files?
| From: | Yasuo Ohgaki | Date: | Wed, 28 Mar 2012 01:01:56 +0000 |
| Subject: | Re: git merge and generated files? | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-59193@lists.php.net to get a copy of this message | ||
Hi,
2012/3/28 Stas Malyshev <smalyshev@sugarcrm.com>:
> Hi!
>
>>> Why would these change every 2nd commit? These only should change when
>>> you change the scanner, which happens very rarely.
>>
>> It depends what you do, but still annoying when it happens.
>>
>> But that does not answer the question...
>
> Looking at the patch, it looks like yours and git's line endings did not
> match, which may have caused the conflict. I think it'd be also the best
> to resolve such conflicts by leaving the files as-is, maybe just by
> using git reset or using git mergetool and choosing the "old" variant.
> Depending on the system mergetool would use different tools so I'm not
> sure which one would be best on yours. I usually just use mergetool,
> mark every change to resolve to "old" variant and that cleans up the
> commit.
Besides the line ending problem, it's annoying when we're working
on single work dir. All developers should have required build tools.
How about remove generated C files from repository?
These files are only needed for released versions, I suppose.
We still compare generated C files against released versions
and this would be sufficient for most developers.
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net