From bb3e8748415de809c4852c7d4cc4902e5ca12779 Mon Sep 17 00:00:00 2001 From: tattle <66640614+dragomagol@users.noreply.github.com> Date: Thu, 1 Dec 2022 19:40:48 -0800 Subject: [PATCH] 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 --- 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 a202614a38b..a0e2d7cc1b5 100644 --- a/tools/WebhookProcessor/github_webhook_processor.php +++ b/tools/WebhookProcessor/github_webhook_processor.php @@ -242,6 +242,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)