in github, you can mark a file a generated [1], which hides it in the PR view by default
[1] https://docs.github.com/en/repositories/working-with-files/m...
[1] https://docs.github.com/en/repositories/working-with-files/m...
Mostly this helps with people simply forgetting to re-run the generator in their PR but it's a useful defence against people trying to smuggle things into the generated files, too!