Merge pull request #1341 from python-discord/jb3/github-filter/allow-some-bots

Allow some bots through the GitHub Webhook Filter

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(