Added a space before the skip tag

Makes it more readable and makes github treat #num as a pr/issue link correctly
EXOTICISME · Jun 1, 2016 · 3d26a49 · 3d26a49
1 parent 2027f00
commit 3d26a49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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(