From 60c5bdec07b959bef1b8bbec6ffa2f46e5a4b7f5 Mon Sep 17 00:00:00 2001
From: CitadelStationBot <CitadelStationBot>
Date: Thu, 15 Jun 2017 19:51:32 -0500
Subject: [PATCH] PR webhook now adds the target repo's name to the message
 shown to players.

---
 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 c2f888603a..e9cd6af2fb 100644
--- a/tools/github_webhook_processor.php
+++ b/tools/github_webhook_processor.php
@@ -216,7 +216,7 @@ function handle_pr($payload) {
 		return;
 	}
 	
-	$msg = 'Pull Request '.$action.' by '.htmlSpecialChars($payload['sender']['login']).': <a href="'.$payload['pull_request']['html_url'].'">'.htmlSpecialChars('#'.$payload['pull_request']['number'].' '.$payload['pull_request']['user']['login'].' - '.$payload['pull_request']['title']).'</a>';
+	$msg = '['.$payload['pull_request']['base']['repo']['full_name'].'] Pull Request '.$action.' by '.htmlSpecialChars($payload['sender']['login']).': <a href="'.$payload['pull_request']['html_url'].'">'.htmlSpecialChars('#'.$payload['pull_request']['number'].' '.$payload['pull_request']['user']['login'].' - '.$payload['pull_request']['title']).'</a>';
 	sendtoallservers('?announce='.urlencode($msg), $payload);
 
 }