diff --git a/tools/WebhookProcessor/github_webhook_processor.php b/tools/WebhookProcessor/github_webhook_processor.php index 53e13f53ff..604f87678e 100644 --- a/tools/WebhookProcessor/github_webhook_processor.php +++ b/tools/WebhookProcessor/github_webhook_processor.php @@ -545,13 +545,8 @@ 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``" . "`"; }