From 3d26a4996abf64fedc4b347ab26bc9698b0991aa Mon Sep 17 00:00:00 2001 From: oranges Date: Wed, 1 Jun 2016 19:24:57 +1200 Subject: [PATCH] Added a space before the skip tag Makes it more readable and makes github treat #num as a pr/issue link correctly --- 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 0ed6d5c2122..49840e62e00 100644 --- a/tools/github_webhook_processor.php +++ b/tools/github_webhook_processor.php @@ -262,7 +262,7 @@ function checkchangelog($payload, $merge = false) { } $content = array ( 'branch' => $payload['pull_request']['base']['ref'], - 'message' => 'Automatic changelog generation for PR #'.$payload['pull_request']['number'].'[ci skip]', + 'message' => 'Automatic changelog generation for PR #'.$payload['pull_request']['number'].' [ci skip]', 'content' => base64_encode($file) ); $scontext = array('http' => array(