Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: Mark some more files as derived / generated
Since we started committing generated files as well we can mark them as derived so that they appear collapsed in the diff, reducing noise while reviewing.
- Loading branch information