From e399afdef797fdffd04c7b993470a99fc991703a Mon Sep 17 00:00:00 2001 From: SkyratBot <59378654+SkyratBot@users.noreply.github.com> Date: Fri, 2 Dec 2022 05:33:51 +0100 Subject: [PATCH] [MIRROR] Github hook for adding "Logging" tag to logging PRs [MDB IGNORE] (#17877) * Github hook for adding "Logging" tag to logging PRs (#71633) ## About The Pull Request Github hook to add the Logging tag to PRs with "log/logs/logging" in the title. ## Why It's Good For The Game Computers doing my dirty work for me ## Changelog No player-facing changes Co-authored-by: tattle * Github hook for adding "Logging" tag to logging PRs Co-authored-by: tattle <66640614+dragomagol@users.noreply.github.com> Co-authored-by: tattle --- tools/WebhookProcessor/github_webhook_processor.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/WebhookProcessor/github_webhook_processor.php b/tools/WebhookProcessor/github_webhook_processor.php index 7aadfd899c5..347c261720c 100644 --- a/tools/WebhookProcessor/github_webhook_processor.php +++ b/tools/WebhookProcessor/github_webhook_processor.php @@ -245,6 +245,8 @@ function tag_pr($payload, $opened) { if($opened) { //you only have one shot on these ones so as to not annoy maintainers $tags = checkchangelog($payload); + if(strpos(strtolower($title), 'logs') !== FALSE || strpos(strtolower($title), 'logging') !== FALSE) + $tags[] = 'Logging'; if(strpos(strtolower($title), 'refactor') !== FALSE) $tags[] = 'Refactor'; if(strpos(strtolower($title), 'revert') !== FALSE)