From 4539dfe50d836a30aecb91f91e7625fc3366c3f7 Mon Sep 17 00:00:00 2001 From: SkyratBot <59378654+SkyratBot@users.noreply.github.com> Date: Sat, 1 Apr 2023 00:41:39 +0200 Subject: [PATCH] [MIRROR] April fools PRs can now be marked with [april fools] to automatically tag them as april fools PRs. [MDB IGNORE] (#20218) * April fools PRs can now be marked with [april fools] to automatically tag them as april fools PRs. (#74401) ## About The Pull Request Really minor change that should make the April fools PR experience better for PR creators/maints. Not sure if this has any notable performance implications with the git bot going over its normal stuff, if it does close this since this is pretty minor. ## Why It's Good For The Game Its not, anything that encourages april fools PRs makes the game so much worse. * April fools PRs can now be marked with [april fools] to automatically tag them as april fools PRs. --------- Co-authored-by: NamelessFairy <40036527+NamelessFairy@users.noreply.github.com> --- tools/WebhookProcessor/github_webhook_processor.php | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/WebhookProcessor/github_webhook_processor.php b/tools/WebhookProcessor/github_webhook_processor.php index 347c261720c..ea99d905e99 100644 --- a/tools/WebhookProcessor/github_webhook_processor.php +++ b/tools/WebhookProcessor/github_webhook_processor.php @@ -276,6 +276,7 @@ function tag_pr($payload, $opened) { check_tag_and_replace($payload, '[dnm]', 'Do Not Merge', $tags); check_tag_and_replace($payload, '[no gbp]', 'GBP: No Update', $tags); + check_tag_and_replace($payload, '[april fools]', 'April Fools', $tags); return array($tags, $remove); }