WordPress.org

Making WordPress.org

Changeset 10537


Ignore:
Timestamp:
12/17/2020 11:28:50 PM (12 months ago)
Author:
dd32
Message:

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

See #5551.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • sites/trunk/api.wordpress.org/public_html/dotorg/trac/pr/webhook.php

    r10080 r10537  
    167167        }
    168168
     169        // Ignore some bots.
     170        $ignored_users = [
     171            'github-actions[bot]',
     172        ];
     173        if ( in_array( $payload->comment->user->login, $ignored_users, true ) ) {
     174            die( 'IGNORED - Comment by ignored user.' );
     175        }
     176
    169177        $pr_repo   = $payload->repository->full_name;
    170178        $pr_number = $payload->issue->number;
Note: See TracChangeset for help on using the changeset viewer.