diff --git a/tools/github_webhook_processor.php b/tools/github_webhook_processor.php index 50fe614937..63464d8088 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; }