Omit derived files from repo (generate them locally instead) #1960
Labels
cleanup
devops
enhancement
New feature or request
infrastructure not content
This issue is about generating output, keeping the repo organized etc.
This repository contains several files that are dynamically generated from other files in the repository. This ticket is about omitting those generated files from the repository and, instead:
Related: #1602
One team member suggested that ideas in this area be prototyped in a temporary fork of this repository — so that they can be tested, demonstrated, and discussed without interfering with this repository.
The text was updated successfully, but these errors were encountered: