From e8076924a45cadd4d92bb4a9b0697a35f18a77fc Mon Sep 17 00:00:00 2001 From: JamieH Date: Fri, 7 Jul 2017 04:54:05 +0100 Subject: [PATCH] Allows [s] to be used anywhere in the title (#29021) --- tools/github_webhook_processor.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/github_webhook_processor.php b/tools/github_webhook_processor.php index 50fe614937e..63464d80886 100644 --- a/tools/github_webhook_processor.php +++ b/tools/github_webhook_processor.php @@ -212,7 +212,7 @@ function handle_pr($payload) { return; } - if (strtolower(substr($payload['pull_request']['title'], 0, 3)) == '[s]') { + if (strpos(strtolower($payload['pull_request']['title']), '[s]') !== false) { echo "PR Announcement Halted; Secret tag detected.\n"; return; }