Today I learnt that you can tell GitHub which files in a repo are generated, so they're not shown in the default pull request view! https://docs.github.com/en/github/administering-a-repository/customizing-how-changed-files-appear-on-github