diff --git a/tools/WebhookProcessor/github_webhook_processor.php b/tools/WebhookProcessor/github_webhook_processor.php index e6956dfb85..53e13f53ff 100644 --- a/tools/WebhookProcessor/github_webhook_processor.php +++ b/tools/WebhookProcessor/github_webhook_processor.php @@ -545,8 +545,13 @@ function auto_update($payload){ get_diff($payload); $content = file_get_contents('https://raw.githubusercontent.com/' . $repoOwnerAndName . '/' . $tracked_branch . '/'. $path_to_script); $content_diff = "### Diff not available. :slightly_frowning_face:"; +<<<<<<< HEAD if($github_diff && preg_match('/(diff --git a\/' . preg_quote($path_to_script, '/') . '.+?)(?:^diff)?/sm', $github_diff, $matches)) { $script_diff = matches[1]; +======= + if($github_diff && preg_match('/(diff --git a\/' . preg_quote($path_to_script, '/') . '.+?)(?:\Rdiff|$)/s', $github_diff, $matches)) { + $script_diff = $matches[1]; +>>>>>>> 1a6bf6b... Merge pull request #34323 from JJRcop/webhook_mistakes if($script_diff) { $content_diff = "``" . "`DIFF\n" . $script_diff ."\n``" . "`"; }