"Nguyen Thai Ngoc Duy" <pclouds@xxxxxxxxx> writes: > Hi Christian, > > The idea of using two separate repositories for source and generated > source is interesting. I would like to bring this to git mailing list, > they may provide insightul comments for your idea or even other > approaches. I think the first question is: do you (and why) need to use a version control system for generated files? -- 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