Changeset 10537 for sites/trunk/api.wordpress.org/public_html/dotorg/trac/pr/webhook.php

Timestamp:

12/17/2020 11:28:50 PM (5 years ago)

Author:

dd32

Message:

Trac: GitHub PRs: Ignore comments by github-actions[bot] and don't sync those to trac.

See #5551.

File:

• sites/trunk/api.wordpress.org/public_html/dotorg/trac/pr/webhook.php (modified) (1 diff)

sites/trunk/api.wordpress.org/public_html/dotorg/trac/pr/webhook.php

@@ -167 +167 @@
         }
 
+        // Ignore some bots.
+        $ignored_users = [
+            'github-actions[bot]',
+        ];
+        if ( in_array( $payload->comment->user->login, $ignored_users, true ) ) {
+            die( 'IGNORED - Comment by ignored user.' );
+        }
+
         $pr_repo   = $payload->repository->full_name;
         $pr_number = $payload->issue->number;