A collection of patch files used when a need change to a file in the source tree is required for GitHub Actions to work.