Hi I am on holiday but I don't recall any discussion or agreement that automatically generated files should be in git. They could have been added to cvs so we could have discussed this anytime in the past 17 years.