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.
This commit is contained in:
NamelessFairy
2023-03-31 17:44:11 +01:00
committed by GitHub
parent 63ebc1141e
commit bdd4978d00
@@ -273,6 +273,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);
}