pull-request-body.md

Synced files from $SOURCE_NAME.

Applied automatic synchronisation of updated files from [**$SOURCE_REPOSITORY**]($SOURCE_URL).

Trigger

This pull request was initially triggered by [$SOURCE_COMMIT]($SOURCE_COMMIT_URL). Note however that subsequent commits to [$SOURCE_BRANCH]($SOURCE_BRANCH_URL) may also be incorporated.

Warning

This change is potentially destructive, as files with matching names will be overwritten. Please review carefully.

Explanation

GitHub Graph is a tool for duplicating files across repositories. The responsible configuration can be found here.