jrgemignani commented on PR #714: URL: https://github.com/apache/age/pull/714#issuecomment-1481503044
@aru-d-at I believe that a decision on this is up to @dehowef That being said, I do think that if we can have these files autogenerated on the users machine, then we won't need to track them in the repo. Being that they are autogenerated, we shouldn't track them in the repo. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
