"Nguyen Thai Ngoc Duy" pclouds@gmail.com 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?