Allow some bots through the GitHub Webhook Filter

This allows the Fast Forward bot and GitHub Actions scripts through the
webhook filter.

* Fast Forward bot should be allowed as otherwise any event created by
this bot (i.e. it's merges to main) are not reported into Discord as it
is considered a bot payload
* GitHub Actions are generally things we have created ourselves and are
not normally high noise, and as such are also worth reporting

Author: jb3

pydis_site/apps/api/views.py

@@ -12,6 +12,10 @@
 
 from . import github_utils
 
+WHITELISTED_GITHUB_BOTS = {
+    "pydis-ff-bot",
+    "github-actions"
+}
 
 class HealthcheckView(APIView):
     """
@@ -291,8 +295,16 @@ def post(self, request: Request, *, webhook_id: str, webhook_token: str) -> Resp
             or is_dependabot_branch_deletion
             or is_bot_pr_approval
         )
+
+        stripped_name = sender_name.removesuffix("[bot]")
+        is_whitelisted_bot = stripped_name in WHITELISTED_GITHUB_BOTS
+
         is_noisy_user_action = is_empty_review
-        should_ignore = is_bot_payload or is_noisy_user_action or is_black_non_main_push
+        should_ignore = (
+            (is_bot_payload and not is_whitelisted_bot)
+            or is_noisy_user_action
+            or is_black_non_main_push
+        )
 
         if should_ignore:
             return Response(