Open Rechi opened 5 months ago
The files are added to the .gitignore
file, so they aren't listed as untracked files by git status or gui tools.
Yes those files are required in a release, but those are generated during the build process.
Currently there is the situation, that those files don't match the actual state of the input source files for a specific commit. Contributors could think they've to update both files (source and generated).
So are you saying that we need to delete the existing files in the repo also?
Those files are generated during the build process. Therefore they shouldn't be tracked.