Jeff King <peff@xxxxxxxx> writes: >> * we have lots other files in git.git that are autogenerated (the >> documentation files, for example) > > I'm not aware of any auto-generated files that are checked in. Can you > give an example? man pages and html docs are commited, but in a separate branch. IOW, Junio abuses Git as a distribution mechanism, but keeps it totally separate from the actual sources. > Yes, it does. Having generated files in your source repository means: > > - you generate useless noise commits when those files are > re-autogenerated > > - developers must make sure that they are not accidentally committing > auto-generated cruft that have nothing to do with their actual > changes - You almost certainly get irrelevant conflicts when merging. - Different developers using different autoconf versions that generate different code for the same source make even more noise that you'd expect ;-). -- Matthieu -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
