Applied automatic synchronisation of updated files from $SOURCE_REPOSITORY.
This pull request was initially triggered by $SOURCE_COMMIT. Note however that subsequent commits to $SOURCE_BRANCH may also be incorporated.
This change is potentially destructive, as files with matching names will be overwritten. Please review carefully.
GitHub Graph is a tool for duplicating files across repositories. The responsible configuration can be found here.